Control design for nondeterministic input/output automata

DOI10.1016/J.EJCON.2014.11.001zbMATH Open1403.93130OpenAlexW1999721401MaRDI QIDQ1662972FDOQ1662972

J. 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

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 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)

Cites Work

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

Cited In (3)

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

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)