Controllability of predicates and languages in discrete-event systems

DOI10.1080/00207729208949420MaRDI QIDQ4021550zbMATH OpenOpenAlexFDO

Authors Toshimitsu Ushio

Publication date 16 January 1993

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

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

zbMATH Keywords

discrete-event systemsstate feedback logicsupervisory control

Mathematics Subject Classification ID

Controllability (93B05)

Recommendations

• Controllability and control-invariance in discrete-event systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• M -controllable subpredicates arising in state feed back control of discrete event systems
• scientific article; zbMATH DE number 4215376
• The infimal controllable and N-observable superpredicate of a given predicate

Cites work

• Controllability and control-invariance in discrete-event systems
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• Supervisor specification and synthesis for discrete event systems
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(14)

• On controllability of discrete event systems in a behavioral framework
• A note on controllability of deterministic context-free~systems
• An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes
• State-feedback control of the fuzzy discrete event systems
• The maximum fuzzy controllable subpredicate of the fuzzy discrete event systems
• Controllability and control-invariance in discrete-event systems
• Characterization of all M-controllable subpredicates of a given predicate
• M -controllable subpredicates arising in state feed back control of discrete event systems
• scientific article; zbMATH DE number 754572 (Why is no real title available?)
• scientific article; zbMATH DE number 1836384 (Why is no real title available?)
• Language convergence in controlled discrete-event systems
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

This page was built for publication: Controllability of predicates and languages in discrete-event systems

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