Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
From MaRDI portal
Publication:3818944
Recommendations
Cited in
(30)- Control of -automata under state fairness assumptions
- On condition/event systems with discrete state realizations
- Aggregation and multi-level control in discrete event dynamic systems
- The complexity of some reachability problems for a system on a finite group
- Supervisory control using augmented languages in discrete event systems
- On-line control of partially observed discrete event systems
- Supervisory control and reactive synthesis: a comparative introduction
- PSPACE-completeness of modular supervisory control problems
- On control of systems modelled as deterministic Rabin automata
- Supervisory control of discrete event systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- A hierarchical and modular control architecture for sequential behaviours
- Discussion on: ``Supervisory control of product and hierarchical discrete event systems
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
- Hierarchical hybrid symbolic robot motion planning and control
- Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions
- Supervisory control of (max,+) automata: extensions towards applications
- Observer-based control of block-triangular discrete time hybrid automata on a partial order
- Controller synthesis with highly simplified linear constraints
- scientific article; zbMATH DE number 4101059 (Why is no real title available?)
- scientific article; zbMATH DE number 177251 (Why is no real title available?)
- Supervision of Infinite Behavior of Discrete-Event Systems
- On the corrective control of sequential machines
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
- Flexible regenerative supervision of sequential behaviour.
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance
- A temporal logic approach to discrete event control for the safety canonical class
- Supervision based on place invariants: a survey
This page was built for publication: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3818944)
