The following pages link to J. G. Thistle (Q1128703):
Displaying 13 items.
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks (Q2983065) (← links)
- Effective Control Synthesis for Partially Observed Discrete-Event Systems (Q3566990) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- (Q4202958) (← links)
- (Q4240486) (← links)
- Control of Infinite Behavior of Finite Automata (Q4302302) (← links)
- Supervision of Infinite Behavior of Discrete-Event Systems (Q4302303) (← links)
- Deadlock Analysis of Parameterized-Chain Networks (Q5280394) (← links)
- Blocking in Fully Connected Networks of Arbitrary Size (Q5352815) (← links)
