The following pages link to Shigemasa Takai (Q225308):
Displayed 6 items.
- (Q5375230) (← links)
- A modified normality condition for decentralized supervisory control of discrete event systems (Q5953553) (← links)
- Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems (Q6056411) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
- Synthesis of event-triggered controllers for SIRS epidemic models (Q6122802) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)