State feedback control of real-time discrete event systems with infinite states

DOI10.1080/00207179.2014.993712zbMath1316.93081OpenAlexW2024466821MaRDI QIDQ5266197

Seong Jin Park, Kwang Hyun Cho

Publication date: 30 July 2015

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

Full work available at URL: https://doi.org/10.1080/00207179.2014.993712

zbMATH Keywords

timed automatastate feedback controlpredicatesreal-time discrete event systemsinfinite states

Mathematics Subject Classification ID

Controllability (93B05) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cites Work

• SetExp: a method of transformation of timed automata into finite state automata
• A theory of timed automata
• Decentralized state feedback control of discrete event systems
• Multi-core real-time scheduling for generalized parallel task models
• Real-time scheduling with resource sharing on heterogeneous multiprocessors
• Template-Based Controller Synthesis for Timed Systems
• Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
• A new method for centralised and modular supervisory control of real-time discrete event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks

This page was built for publication: State feedback control of real-time discrete event systems with infinite states