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

DOI10.1137/S0363012902409982zbMath1132.93032MaRDI QIDQ3427490

Shengbing Jiang, Daniel Kumar

Publication date: 20 March 2007

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

zbMATH Keywords

discrete event systemsupervisory controltemporal logiccomputation tree logiclinear-time temporal logic

Mathematics Subject Classification ID

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

Related Items (7)

Supervisory control and reactive synthesis: a comparative introduction ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ Natural projection as partial model checking ⋮ Cancer hybrid automata: model, beliefs and therapy ⋮ Program Repair for Hyperproperties ⋮ Maximally permissive controlled system synthesis for non-determinism and modal logic ⋮ An equivalent CTL formulation for condition sequences

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