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

DOI10.1137/S0363012902409982zbMATH Open1132.93032MaRDI QIDQ3427490FDOQ3427490

Authors: Shengbing Jiang, Daniel Kumar 

Publication date: 20 March 2007

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

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

zbMATH Keywords

computation tree logictemporal logicdiscrete event systemsupervisory controllinear-time temporal logic

Mathematics Subject Classification ID

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

Cited In (18)

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

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)