Modeling and Control of Logical Discrete Event Systems

Kumar, Ratnesh; Garg, Vijay K.

doi:10.1007/978-1-4615-2217-1

Cited by 308 publications

(168 citation statements)

References 0 publications

Supporting

Mentioning

167

Contrasting

Order By: Relevance

“…Discrete-event systems. In the context of supervisory control of discrete-event systems [KG95,CL99] labels are usually divided into controllable and uncontrollable. Controllable labels model transitions that can be disabled by the controller while uncontrollable labels describe the influence of the environment which is beyond the influence of control.…”

Section: Control Systemsmentioning

confidence: 99%

Controller synthesis for bisimulation equivalence

Tabuada¹

2008

Systems & Control Letters

View full text Add to dashboard Cite

Abstract. The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality.

show abstract

Section: Control Systemsmentioning

confidence: 99%

Controller synthesis for bisimulation equivalence

Tabuada¹

2008

Systems & Control Letters

View full text Add to dashboard Cite

show abstract

“…( ) (see Fig. 1 for the definition of and ) [24], [43]. However, a maximally permissive controller cannot be extracted from this graph because the supremal -controllable sublanguage of (which is itself in this example) is not -closed with respect to .…”

Section: Reachability Propertymentioning

confidence: 99%

“…In fact, most synthesis methods for supervisory control theory have been done in the context in which both the unrestrained and legal behaviors of a process are modeled with automata [16], [24], [37], [40]. Besides, temporal logics have long been recognized as a useful formalism for specifying properties of reactive systems [19], [30].…”

Section: Introductionmentioning

confidence: 99%

A method for the synthesis of controllers to handle safety, liveness, and real-time constraints

Barveau

Kabanza

St-Denis³

1998

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Abstract-This paper describes a synthesis method that automatically derives controllers for timed discrete-event systems with nonterminating behavior modeled by timed transition graphs and specifications of control requirements expressed by metric temporal logic (MTL) formulas. Synthesis is performed by using 1) a forward-chaining search that evaluates the satisfiability of MTL formulas over sequences of states generated by occurrences of actions and 2) a control-directed backtracking technique that takes into consideration the controllability of actions. This method has several interesting features. First, the issues of controllability, safety, liveness, and real time are integrated in a single framework. Second, the synthesis process does not require explicit storage of an entire transition structure over which formulas are checked and can be stopped at any moment, giving an approximate but useful result. Third, search and control mechanisms allow circumvention of the state explosion problem.

show abstract

“…Theorem 5.5 shows that existence of a controller for immediately leads to a controller for . Furthermore, when is finite existing supervisory control [10], [25], [30] and controller synthesis [5], [13], [26], [33], [44], [45] techniques can be immediately used for the construction of . In addition to provide a new computational approach to controller synthesis problems for continuous control systems, Theorem 5.5 also shows that it is now possible to design controllers based on specifications that, traditionally, have not been considered for continuous systems such as regular languages, transitions systems, temporal logics, etc.…”

Section: Symbolic Control Based On Symbolic Subsystemsmentioning

confidence: 99%

Symbolic Control of Linear Systems Based on Symbolic Subsystems

Tabuada

2006

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Abstract-This paper describes an approach to the control of continuous systems through the use of symbolic models describing the system behavior only at a finite number of points in the state space. These symbolic models can be seen as abstract representations of the continuous dynamics enabling the use of algorithmic controller design methods. We identify a class of linear control systems for which the loss of information incurred by working with symbolic subsystems can be compensated by feedback. We also show how to transform symbolic controllers designed for a symbolic subsystem into controllers for the original system. The resulting controllers combine symbolic controller dynamics with continuous feedback control laws and can thus be seen as hybrid systems. Furthermore, if the symbolic controller already accounts for software/hardware requirements, the hybrid controller is guaranteed to enforce the desired specifications by construction thereby reducing the need for formal verification.

show abstract

Modeling and Control of Logical Discrete Event Systems

Cited by 308 publications

References 0 publications

Controller synthesis for bisimulation equivalence

Controller synthesis for bisimulation equivalence

A method for the synthesis of controllers to handle safety, liveness, and real-time constraints

Symbolic Control of Linear Systems Based on Symbolic Subsystems

Contact Info

Product

Resources

About