Pages that link to "Item:Q1113863"
From MaRDI portal
The following pages link to Modular supervisory control of discrete-event systems (Q1113863):
Displaying 50 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems (Q732247) (← links)
- Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach (Q884762) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- Reactive mode handling of flexible manufacturing systems (Q1005184) (← links)
- Supervisory control of the structured dynamic discrete-event systems (Q1040544) (← links)
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation (Q1108988) (← links)
- On supervisory control of real-time discrete-event systems (Q1115839) (← links)
- A characterization of realizable behavior in supervisory control of timed event graphs (Q1129729) (← links)
- On tolerable and desirable behaviors in supervisory control of discrete event systems (Q1180362) (← links)
- On nonconflicting languages that arise in supervisory control of discrete event systems (Q1186853) (← links)
- On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Supervisory control using augmented languages in discrete event systems (Q1314846) (← links)
- Some decision problems for parallel communicating grammar systems (Q1341721) (← links)
- Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Recursive computation of limited lookahead supervisory controls for discrete event systems (Q1801471) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503) (← links)
- Supervisory control of product and hierarchical discrete event systems (Q2511886) (← links)
- Structural decentralised control of concurrent discrete-event systems (Q2512246) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control (Q2576128) (← links)
- Asymptotic behavior of random discrete event systems (Q2640233) (← links)
- Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
- Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
- Supervisor specification and synthesis for discrete event systems (Q3798530) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)
