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

SIAM Journal on Control and Optimization - United States
doi 10.1137/s0363012902409982
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Society for Industrial & Applied Mathematics (SIAM)

Related search

Supervisory Control of Concurrent Discrete-Event Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
1991English

Command-Based Supervisory Control of Discrete Event Systems

Transactions of the Society of Instrument and Control Engineers
1996English

On Tolerable and Desirable Behaviors in Supervisory Control of Discrete Event Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
1991English

On Nonconflicting Languages That Arise in Supervisory Control of Discrete Event Systems

Systems and Control Letters
ControlSystems EngineeringMechanical EngineeringElectronic EngineeringElectricalComputer Science
1991English

Supervisory Control of a Class of Discrete Event Processes

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
1987English

Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems

IEEE Transactions on Automation Science and Engineering
ControlSystems EngineeringElectricalElectronic Engineering
2020English

Guest Editorial: Special Issue on Diagnosis, Opacity and Supervisory Control of Discrete Event Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2018English

Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications

2013English

Sampling-Based Stochastic Optimal Control With Metric Interval Temporal Logic Specifications

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy