Bisimulation, the supervisory control problem and strong model matching for finite state machines
From MaRDI portal
Publication:1273548
DOI10.1023/A:1008301317459zbMath0919.93005MaRDI QIDQ1273548
Stéphane Lafortune, George Barrett
Publication date: 5 September 1999
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
supervisory control theorybisimulation propertycontrollability of a language with respect to another languageinput/output model matching
Controllability (93B05) Formal languages and automata (68Q45) Hierarchical systems (93A13) General systems theory (93A99) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Control of parameterized discrete event systems, Efficient robust supervisors for discrete event systems, Development of concurrent structural decentralised discrete event system using bisimulation concept, Control design for nondeterministic input/output automata, Adaptive control of asynchronous sequential machines with state feedback, Bursts and output feedback control of non-deterministic asynchronous sequential machines, Static state feedback control of asynchronous sequential machines, Bisimilar linear systems., Unnamed Item, State feedback control of asynchronous sequential machines with adversarial inputs, Input/output control of asynchronous sequential machines with races, Progressive Solutions to a Parallel Automata Equation, Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm, Asynchronous sequential machines with adversarial intervention: the use of bursts, Model matching inclusion for input/state asynchronous sequential machines, Automatic defensive control of asynchronous sequential machines, Progressive solutions to a parallel automata equation, Compositionally progressive solutions of synchronous FSM equations, On the control of asynchronous sequential machines with infinite cycles, Employing behavioral preorders to define controllability for nondeterministic discrete-event systems, Control of discrete-event systems with partial observations using coalgebra and coinduction