Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
1,965
Supervisory Control and . . .
, 2005
"... We tackle the Non-Blocking Supervisory Control Problem control for Concurrent Discrete Event Systems that are defined by a collection of components that interact with each other. In this study, we first outline the method allowing to solve the state avoidance control problem on concurrent systems. W ..."
Abstract
- Add to MetaCart
We tackle the Non-Blocking Supervisory Control Problem control for Concurrent Discrete Event Systems that are defined by a collection of components that interact with each other. In this study, we first outline the method allowing to solve the state avoidance control problem on concurrent systems
From supervisory control to nonblocking . . .
, 2003
"... With supervisory control theory it is possible to describe controllers that influence the behaviour of a discrete event system by disabling certain events. This thesis considers the design of controllers that send commands to actuators and receive information from sensors. If such a controller is ..."
Abstract
-
Cited by 13 (0 self)
- Add to MetaCart
With supervisory control theory it is possible to describe controllers that influence the behaviour of a discrete event system by disabling certain events. This thesis considers the design of controllers that send commands to actuators and receive information from sensors. If such a controller
via Supervisory Control Theory
, 2013
"... Abstract: We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control theor ..."
Abstract
- Add to MetaCart
Abstract: We embed the framework of infinite two-player turn-based games played on graphs with safety objectives in an epistemic temporal logic. This embedding is made possible thanks to two intermediate embeddings: the first is from infinite games with safety objectives to supervisory control
Supervisory Control for Nondeterministic Systems
- Lecture Notes in Control and Information Sciences 199
, 1994
"... In this paper we present the first results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is specified and motivated. A necessary and sufficient condition for the existence of a supervisor is der ..."
Abstract
-
Cited by 11 (1 self)
- Add to MetaCart
In this paper we present the first results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is specified and motivated. A necessary and sufficient condition for the existence of a supervisor
Implementation Considerations in Supervisory Control
- Synthesis and Control of Discrete Event Systems
, 2002
"... With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event ca ..."
Abstract
-
Cited by 17 (6 self)
- Add to MetaCart
With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables controllable events but also chooses one among the enabled ones. This event
Decentralized supervisory control with coalgebra
- In ECC’03
, 2003
"... Abstract — In this paper we present a new approach to de-centralized supervisory control of large automata with commu-nicating supervisors. We first generalize the recently developed top-down architecture of multilevel coordination control with a hierarchical structure of groups of subsystems, their ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
Abstract — In this paper we present a new approach to de-centralized supervisory control of large automata with commu-nicating supervisors. We first generalize the recently developed top-down architecture of multilevel coordination control with a hierarchical structure of groups of subsystems
DECENTRALIZED SUPERVISORY CONTROL WITH COALGEBRA
"... Coalgebraic methods provide new results and insights for the supervisory control of discrete-event systems (DES). In this paper a coalgebraic framework for the decentralized control of DES is proposed. The paper is based on the formalism developed for the supervisory control of DES in the partial ob ..."
Abstract
- Add to MetaCart
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event systems (DES). In this paper a coalgebraic framework for the decentralized control of DES is proposed. The paper is based on the formalism developed for the supervisory control of DES in the partial
Tutorial on supervisory control
, 2001
"... This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques. Th ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
This paper provides an overview of the results available on supervisory control in an adaptive context, with special emphasis on estimator-based supervisory architectures. We cover both the linear and nonlinear cases in a unified manner, highlighting the common properties and analysis techniques
On Non-deterministic Supervisory Control
, 1996
"... The supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the supervisor is nondeterministic. We give necessary and sufficient conditions for when equivalence hold ..."
Abstract
-
Cited by 10 (0 self)
- Add to MetaCart
The supervisory control theory (SCT) is examined in a non-deterministic setting. We show that language controllability of a supervisor is not necessarily equivalent to state controllability when the supervisor is nondeterministic. We give necessary and sufficient conditions for when equivalence
Results 1 - 10
of
1,965
