Pages that link to "Item:Q3818944"
From MaRDI portal
The following pages link to Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata (Q3818944):
Displaying 26 items.
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- On condition/event systems with discrete state realizations (Q1185286) (← links)
- Aggregation and multi-level control in discrete event dynamic systems (Q1194980) (← links)
- The complexity of some reachability problems for a system on a finite group (Q1262244) (← links)
- Supervisory control using augmented languages in discrete event systems (Q1314846) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
- Discussion on: ``Supervisory control of product and hierarchical discrete event systems'' (Q2511887) (← links)
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Hierarchical Hybrid Symbolic Robot Motion Planning and Control (Q2789892) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- Observer-based control of block-triangular discrete time hybrid automata on a partial order (Q2928287) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
- On the corrective control of sequential machines (Q4714640) (← links)
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations (Q4733422) (← links)
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models (Q5745696) (← links)
- Flexible regenerative supervision of sequential behaviour. (Q5955806) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
