Pages that link to "Item:Q2730222"
From MaRDI portal
The following pages link to Know means no: Incorporating knowledge into discrete-event control systems (Q2730222):
Displaying 18 items.
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Building distributed controllers for systems with priorities (Q541297) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Distributed state estimation with communication of observations (Q2435362) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- What Is Distributed Control with Direct Communication Between Controllers? (Q4560605) (← links)
- Distributed State Estimation with Communication of Observations (Q4560610) (← links)
- An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems (Q5496925) (← links)
- Do what you know: coupling knowledge with action in discrete-event systems (Q6080679) (← links)
- A uniform approach to compare architectures in decentralized discrete-event systems (Q6566765) (← links)
- Supervisory control under delayed observations of events and states (Q6652242) (← links)
