Control design for nondeterministic input/output automata

DOI10.1016/j.ejcon.2014.11.001zbMath1403.93130OpenAlexW1999721401MaRDI QIDQ1662972

Jan Lunze, Yannick Nke

Publication date: 21 August 2018

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ejcon.2014.11.001

zbMATH Keywords

supervisory controldiscrete-event systemsinput/output automata

Mathematics Subject Classification ID

Controllability (93B05) Feedback control (93B52) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Realizations from input-output data (93B15) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items

Control design for nondeterministic input/output automata

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Recognizing safety and liveness
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• Games for synthesis of controllers with partial observation.
• Control design for nondeterministic input/output automata
• Supervisory control of a rapid thermal multiprocessor
• THE ABSTRACT THEORY OF AUTOMATA
• Introduction to Discrete Event Systems
• Supervisory control of discrete-event systems with output: Application to hybrid systems
• Proving the Correctness of Multiprocess Programs
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• Input/output control of asynchronous sequential machines