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

DOI10.1109/9.478332zbMATH Open0842.93030OpenAlexW2138456650MaRDI QIDQ4875987FDOQ4875987

Panos J. Antsaklis, Xiaojun Yang, 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)

Cited In (3)

• A logical DES approach to the design of hybrid control systems
• On computation of supremal controllable, normal sublanguages
• Logical models of discrete even systems: a comparative exposition

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)