Pages that link to "Item:Q4302302"
From MaRDI portal
The following pages link to Control of Infinite Behavior of Finite Automata (Q4302302):
Displaying 24 items.
- Adaptive control of asynchronous sequential machines with state feedback (Q389824) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- Structural measures for games and process control in the branch learning model (Q1575709) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method (Q1721288) (← links)
- Automatic synthesis of a subclass of schedulers in timed systems. (Q1874276) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Bursts and output feedback control of non-deterministic asynchronous sequential machines (Q1937325) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- On the stabilization of nondeterministic finite automata via static output feedback (Q2284307) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- Automatic defensive control of asynchronous sequential machines (Q2792709) (← links)
- Static state feedback control of asynchronous sequential machines (Q2964404) (← links)
- State feedback control of asynchronous sequential machines with adversarial inputs (Q3548777) (← links)
- Input/output control of asynchronous sequential machines with races (Q3550781) (← links)
- Asynchronous sequential machines with adversarial intervention: the use of bursts (Q4932808) (← links)
- Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093) (← links)
- On the control of asynchronous sequential machines with infinite cycles (Q5491422) (← links)
- Supervisory Control with Complete Observations (Q5496921) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)