On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems

DOI10.1109/9.478332MaRDI QIDQ4875987zbMATHOpenAlexFDO

Authors Xiaojun Yang, Panos J. Antsaklis, Michael D. Lemmon

Publication date 28 April 1996

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

Full work available at URL https://semanticscholar.org/paper/1dc920428ff6899fa5d802c81110ad1288b8c963

zbMATH Keywords

supremal controllable sublanguagehybrid control systemsdiscrete-event systemnondeterministic transitions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 4215376
• On nonconflicting languages that arise in supervisory control of discrete event systems
• Supervisory control of discrete-event systems with output: Application to hybrid systems
• M -controllable subpredicates arising in state feed back control of discrete event systems
• Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
• Controllability of predicates and languages in discrete-event systems
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Supervisory control of discrete event systems with state-dependent controllability
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• A class of non-deterministic specifications for supervisory control

Cited in

(5)

• Logical models of discrete even systems: a comparative exposition
• Dealing with Nondeterminism in Symbolic Control
• On computation of supremal controllable, normal sublanguages
• A logical DES approach to the design of hybrid control systems
• On the design of hybrid control systems using automata models

This page was built for publication: On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems

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