On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
DOI10.1109/9.478332zbMATH Open0842.93030OpenAlexW2138456650MaRDI QIDQ4875987FDOQ4875987
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
Recommendations
- scientific article
- 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
supremal controllable sublanguagehybrid control systemsdiscrete-event systemnondeterministic transitions
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)
Cited In (4)
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)
