Control design for nondeterministic input/output automata

DOI10.1016/J.EJCON.2014.11.001MaRDI QIDQ1662972zbMATH OpenOpenAlexFDO

Authors Yannick Nke, J. Lunze

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

discrete-event systemssupervisory controlinput/output automata

Mathematics Subject Classification ID

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

Recommendations

• A unified approach to control problems in discrete event processes
• Supervisory Control of a Class of Discrete Event Processes
• scientific article; zbMATH DE number 3887558
• Discrete-event control of nondeterministic systems
• scientific article; zbMATH DE number 4158510

Cites work

• scientific article; zbMATH DE number 1820095 (Why is no real title available?)
• scientific article; zbMATH DE number 3290993 (Why is no real title available?)
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• Control design for nondeterministic input/output automata
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• Games for synthesis of controllers with partial observation.
• Input/output control of asynchronous sequential machines
• Introduction to Discrete Event Systems
• Proving the Correctness of Multiprocess Programs
• Recognizing safety and liveness
• Supervisory control of a rapid thermal multiprocessor
• Supervisory control of discrete-event systems with output: Application to hybrid systems
• THE ABSTRACT THEORY OF AUTOMATA

Cited in

(3)

• Algebraic approach for dependable logic control systems design
• Control design for nondeterministic input/output automata
• Automata Based Interfaces for Control and Scheduling

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Control design for nondeterministic input/output automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662972)