State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems

DOI10.1109/TAC.2014.2358811MaRDI QIDQ2982710zbMATH OpenOpenAlexFDO

Authors Anas Nooruldeen, Klaus Werner Schmidt

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2014.2358811

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

Cited in

(4)

• A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata
• Detection and mitigation of classes of attacks in supervisory control systems
• Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
• On scalable supervisory control of multi-agent discrete-event systems

This page was built for publication: State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems

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