Pages that link to "Item:Q1273548"
From MaRDI portal
The following pages link to Bisimulation, the supervisory control problem and strong model matching for finite state machines (Q1273548):
Displaying 22 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Adaptive control of asynchronous sequential machines with state feedback (Q389824) (← links)
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Model matching inclusion for input/state asynchronous sequential machines (Q716144) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Efficient robust supervisors for discrete event systems (Q848220) (← links)
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Control design for nondeterministic input/output automata (Q1662972) (← links)
- Bursts and output feedback control of non-deterministic asynchronous sequential machines (Q1937325) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Progressive solutions to a parallel automata equation (Q2508960) (← 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)
- Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
- Asynchronous sequential machines with adversarial intervention: the use of bursts (Q4932808) (← links)
- (Q5021015) (← links)
- On the control of asynchronous sequential machines with infinite cycles (Q5491422) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)