Pages that link to "Item:Q1123861"
From MaRDI portal
The following pages link to On the control of discrete-event dynamical systems (Q1123861):
Displaying 39 items.
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Refinement modal logic (Q476194) (← links)
- Sharing out control in distributed processes (Q673967) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Approximating the minimal sensor selection for supervisory control (Q853685) (← links)
- Solvability of centralized supervisory control under partial observation (Q858155) (← links)
- A new class of supervisors for timed discrete event systems under partial observation (Q859740) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
- Aggregation and multi-level control in discrete event dynamic systems (Q1194980) (← links)
- Decentralized state feedback control of discrete event systems (Q1323633) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- System theory for system identification. (Q1421324) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Recursive computation of limited lookahead supervisory controls for discrete event systems (Q1801471) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Recurrent events and characteristics of plans of continuous control (Q1947753) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Supervisory control of switching control systems (Q2474450) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- (Q3139829) (← links)
- Controller/Orchestrator Synthesis via Filtration (Q3185761) (← links)
- Control of large discrete event systems: constructive algorithms (Q3476700) (← links)
- (Q3975447) (← links)
- On the corrective control of sequential machines (Q4714640) (← links)
- (Q4789257) (← links)
- Supervisory Control with Partial Observations (Q5496922) (← links)
- Control problems of discrete-time dynamical systems (Q5919164) (← links)
- A survey of computational complexity results in systems and control (Q5926262) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)