Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

DOI10.1137/S0363012902409982MaRDI QIDQ3427490zbMATH OpenFDO

Authors Shengbing Jiang, Daniel Kumar

Publication date 20 March 2007

Published in SIAM Journal on Control and Optimization (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/S0363012902409982

zbMATH Keywords

computation tree logicdiscrete event systemlinear-time temporal logicsupervisory controltemporal logic

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 1284133
• Supervision of Infinite Behavior of Discrete-Event Systems
• Supervisory control of discrete event systems
• A temporal logic approach to discrete event control for the safety canonical class
• scientific article; zbMATH DE number 800037

Cited in

(21)

• Supervisory control using augmented languages in discrete event systems
• Supervisory control and reactive synthesis: a comparative introduction
• Natural projection as partial model checking
• Cancer hybrid automata: model, beliefs and therapy
• Syntax-based synthesis for temporal-safety supervision
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Program Repair for Hyperproperties
• scientific article; zbMATH DE number 1284133 (Why is no real title available?)
• scientific article; zbMATH DE number 1304990 (Why is no real title available?)
• Synthesis of logical controllers and discrete-event systems supervisory control theory
• scientific article; zbMATH DE number 1836405 (Why is no real title available?)
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Decidability for a temporal logic used in discrete-event system analysis
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• Branching time controllers for discrete event systems
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• A temporal logic approach to discrete event control for the safety canonical class
• An equivalent CTL formulation for condition sequences
• Modal specifications for the control theory of discrete event systems

This page was built for publication: Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications

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