On the public citation graph

Hierarchical control of discrete-event systems

https://doi.org/10.1007/bf01797154
0 signed · 304 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/978-1-4471-3227-1_5openalex-snapshot
On the value of commutative diagrams in information modelling
inferredcites →https://doi.org/10.1007/978-1-4615-2217-1openalex-snapshot
Modeling and Control of Logical Discrete Event Systems
inferredcites →https://doi.org/10.1007/978-1-4615-4020-5_2openalex-snapshot
Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/978-3-319-77452-7_9openalex-snapshot
Supervisory Control of Timed Discrete-Event Systems
inferredcites →https://doi.org/10.1007/bf01215843openalex-snapshot
An algebraic approach to supervisory control
inferredcites →https://doi.org/10.1007/bf01516010openalex-snapshot
Input/output discrete event processes and communication delays
inferredcites →https://doi.org/10.1007/bf01797154openalex-snapshot
Hierarchical control of discrete-event systems
inferredcites →https://doi.org/10.1007/bf01797155openalex-snapshot
Hierarchical control of timed discrete-event systems
inferredcites →https://doi.org/10.1007/bf02551233openalex-snapshot
Modular supervisory control of discrete-event systems
inferredcites →https://doi.org/10.1007/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
inferredcites →https://doi.org/10.1016/0020-0255(88)90001-1openalex-snapshot
On observability of discrete-event systems
inferredcites →https://doi.org/10.1016/0020-0255(88)90002-3openalex-snapshot
Decentralized supervisory control of discrete-event systems
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0167-6911(90)90004-eopenalex-snapshot
Formulas for calculating supremal controllable and normal sublanguages
inferredcites →https://doi.org/10.1016/0167-6911(94)00090-iopenalex-snapshot
The hierarchical lattices of a finite machine
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/s0076-5392(08)x6134-xopenalex-snapshot
Theory of Hierarchical, Multilevel, Systems
inferredcites →https://doi.org/10.1017/cbo9780511624193openalex-snapshot
Process Algebra
inferredcites →https://doi.org/10.1080/00207179108934202openalex-snapshot
Supervisory control of concurrent discrete-event systems
inferredcites →https://doi.org/10.1090/s0002-9939-1958-0135681-9openalex-snapshot
Linear Automaton Transformations
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.173140openalex-snapshot
Think globally, act locally: decentralized supervisory control
inferredcites →https://doi.org/10.1109/9.182478openalex-snapshot
Limited lookahead policies in supervisory control of discrete event systems
inferredcites →https://doi.org/10.1109/9.182487openalex-snapshot
On supervisory control of sequential behaviors
inferredcites →https://doi.org/10.1109/9.231459openalex-snapshot
Supervisory control of a rapid thermal multiprocessor
inferredcites →https://doi.org/10.1109/9.233154openalex-snapshot
Control of vector discrete-event systems. I. The base model
inferredcites →https://doi.org/10.1109/9.250558openalex-snapshot
Control of discrete event systems modeled as hierarchical state machines
inferredcites →https://doi.org/10.1109/9.272327openalex-snapshot
Supervisory control of timed discrete-event systems
inferredcites →https://doi.org/10.1109/9.388681openalex-snapshot
Finite buffer realization of input-output discrete-event systems
inferredcites →https://doi.org/10.1109/9.402openalex-snapshot
Supervisory control of discrete-event processes with partial observations
inferredcites →https://doi.org/10.1109/9.52290openalex-snapshot
A framework for real-time discrete event control
inferredcites →https://doi.org/10.1109/9.58555openalex-snapshot
On the consistency of hierarchical supervision in discrete-event systems
inferredcites →https://doi.org/10.1109/9.61009openalex-snapshot
Decentralized control and coordination of discrete-event systems with partial observation
inferredcites →https://doi.org/10.1109/9.73561openalex-snapshot
Paradigms and puzzles in the theory of dynamical systems
inferredcites →https://doi.org/10.1109/cdc.1982.268351openalex-snapshot
Supervision of discrete event processes
inferredcites →https://doi.org/10.1109/cdc.1997.652408openalex-snapshot
The hierarchical control of ST-finite state machines
inferredcites →https://doi.org/10.1109/cdc.1997.652409openalex-snapshot
State aggregation and hierarchical supervisory control
inferredcites →https://doi.org/10.1109/cdc.1997.657901openalex-snapshot
Decentralised control of concurrent discrete-event systems with non-prefix closed local specifications
inferredcites →https://doi.org/10.1109/tac.1972.1099964openalex-snapshot
Theory of hierarchical, multilevel systems
inferredcites →https://doi.org/10.1109/tsmc.1976.4309444openalex-snapshot
Towards an Abstract Internal Model Principle
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1137/0325036openalex-snapshot
On the Supremal Controllable Sublanguage of a Given Language
inferredcites →https://doi.org/10.1137/0325066openalex-snapshot
Modular Feedback Logic for Discrete Event Systems
inferredcites →https://doi.org/10.1137/s0363012991217524openalex-snapshot
Supervision of Infinite Behavior of Discrete-Event Systems
inferredcites →https://doi.org/10.1137/s0363012991217536openalex-snapshot
Control of Infinite Behavior of Finite Automata
inferredcites →https://doi.org/10.1145/3788687openalex-snapshot
An Introduction to Input/Output Automata

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/047134608x.w2237openalex-snapshot
Discrete Event Systems
inferred← citeshttps://doi.org/10.1002/asjc.1210openalex-snapshot
Abstraction‐Based Verification and Synthesis for Prognosis of Discrete Event Systems
inferred← citeshttps://doi.org/10.1002/asjc.1778openalex-snapshot
Optimal non‐blocking decentralized supervisory control with unobservable controllable events
inferred← citeshttps://doi.org/10.1002/asjc.2717openalex-snapshot
On efficient relabeling of symmetric discrete‐event systems
inferred← citeshttps://doi.org/10.1002/rnc.3793openalex-snapshot
Output feedback hierarchical control for nonlinear systems
inferred← citeshttps://doi.org/10.1007/11529798_13openalex-snapshot
Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
inferred← citeshttps://doi.org/10.1007/978-1-4471-0807-8_47openalex-snapshot
Equivalences of discrete-event systems and of hybrid systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_8openalex-snapshot
Coordination Control of Distributed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10407-2_10openalex-snapshot
System Architectures of Distributed and of Multilevel Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-28860-4_2openalex-snapshot
Integration of Supervisory Control Synthesis in Model-Based Systems Engineering
inferred← citeshttps://doi.org/10.1007/978-3-319-77452-7_4openalex-snapshot
Decentralized and Distributed Supervision of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-77452-7_5openalex-snapshot
Hierarchical Supervision of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-10741-2_3openalex-snapshot
Dynamic Simulation and Synthesis Technique for Complex Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24431-5_6openalex-snapshot
A SAT-Based Approach for the Construction of Reusable Control System Components
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_10openalex-snapshot
Systems-Theoretic View of Component-Based Software Development
inferred← citeshttps://doi.org/10.1007/978-3-642-30885-7_7openalex-snapshot
Modeling the Supervisory Control Theory with Alloy
inferred← citeshttps://doi.org/10.1007/978-3-642-33475-7_12openalex-snapshot
On Properties and State Complexity of Deterministic State-Partition Automata
inferred← citeshttps://doi.org/10.1007/bf01797155openalex-snapshot
Hierarchical control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1007/bfb0008476openalex-snapshot
On the control of discrete-event systems
inferred← citeshttps://doi.org/10.1007/bfb0055613openalex-snapshot
Controllers for discrete event systems via morphisms
inferred← citeshttps://doi.org/10.1007/s00170-008-1555-9openalex-snapshot
A structural approach to the non-blocking supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1007/s00170-010-2561-2openalex-snapshot
Supervisor localization for large discrete-event systems
inferred← citeshttps://doi.org/10.1007/s10626-008-0054-3openalex-snapshot
On the Computation of Natural Observers in Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-009-0070-yopenalex-snapshot
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution
inferred← citeshttps://doi.org/10.1007/s10626-010-0089-0openalex-snapshot
Conceptual Design of Discrete-Event Systems Using Templates
inferred← citeshttps://doi.org/10.1007/s10626-013-0179-xopenalex-snapshot
Coordination control of discrete-event systems revisited
inferred← citeshttps://doi.org/10.1007/s10626-014-0182-xopenalex-snapshot
A hierarchical and modular control architecture for sequential behaviours
inferred← citeshttps://doi.org/10.1007/s10626-014-0185-7openalex-snapshot
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
inferred← citeshttps://doi.org/10.1007/s10626-019-00299-5openalex-snapshot
On the relation between reactive synthesis and supervisory control of non-terminating processes
inferred← citeshttps://doi.org/10.1007/s10626-021-00345-1openalex-snapshot
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations
inferred← citeshttps://doi.org/10.1007/s10626-023-00378-8openalex-snapshot
A survey on compositional algorithms for verification and synthesis in supervisory control
inferred← citeshttps://doi.org/10.1007/s10626-024-00393-3openalex-snapshot
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
inferred← citeshttps://doi.org/10.1007/s10626-025-00411-yopenalex-snapshot
Hierarchical supervisory control of discrete event systems based on reliable events
inferred← citeshttps://doi.org/10.1007/s40860-015-0016-0openalex-snapshot
Formalization of resilience for constraint-based dynamic systems
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2017.03.004openalex-snapshot
Synthesis and implementation of logic controllers – A review
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2018.03.002openalex-snapshot
Supervisory control of discrete-event systems: A brief history
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2024.100940openalex-snapshot
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
inferred← citeshttps://doi.org/10.1016/j.automatica.2003.07.003openalex-snapshot
Bisimilar linear systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2010.06.010openalex-snapshot
Abstraction-based verification of codiagnosability for discrete event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.07.008openalex-snapshot
Supervisory control synthesis of discrete-event systems using a coordination scheme
inferred← citeshttps://doi.org/10.1016/j.automatica.2012.04.004openalex-snapshot
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2014.04.009openalex-snapshot
On the complexity of synthesizing a minimum-weighted supervisor under partial observation
inferred← citeshttps://doi.org/10.1016/j.automatica.2015.03.025openalex-snapshot
Supervisory control of discrete event systems with distinguishers
inferred← citeshttps://doi.org/10.1016/j.automatica.2025.112171openalex-snapshot
On algorithms verifying initial-and-final-state opacity: Complexity, special cases, and comparison
inferred← citeshttps://doi.org/10.1016/j.automatica.2025.112578openalex-snapshot
Hierarchical supervisory control of networked and cyber-attacked discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.488openalex-snapshot
Fault-Tolerant Control of Discrete-Event Systems with Lower-Bound Specifications
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.164openalex-snapshot
Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.06.275openalex-snapshot
On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.029openalex-snapshot
Conditions for Hierarchical Supervisory Control under Partial Observation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.033openalex-snapshot
Case Study of Hierarchical Interface-Based Supervisory Control for a Mechatronic Platform
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.337openalex-snapshot
A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/j.ins.2014.05.026openalex-snapshot
A framework for state attraction of discrete event systems under partial observation
inferred← citeshttps://doi.org/10.1016/j.jmsy.2014.04.008openalex-snapshot
The synthesis and PLC implementation of hybrid modular supervisors for real time control of an experimental manufacturing system
inferred← citeshttps://doi.org/10.1016/j.jss.2017.11.003openalex-snapshot
Compositional execution semantics for business process verification
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.016openalex-snapshot
Supervisory control theory with Alloy
inferred← citeshttps://doi.org/10.1016/j.sysconle.2009.11.004openalex-snapshot
Abstraction-based failure diagnosis for discrete event systems
inferred← citeshttps://doi.org/10.1016/j.sysconle.2011.04.005openalex-snapshot
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
inferred← citeshttps://doi.org/10.1016/s0005-1098(00)00102-3openalex-snapshot
Mutually nonblocking supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00307-8openalex-snapshot
Branching time controllers for discrete event systems
inferred← citeshttps://doi.org/10.1016/s0304-4076(03)00145-3openalex-snapshot
System theory for system identification
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30759-0openalex-snapshot
Hierarchical control for structural decentralized DES
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36456-xopenalex-snapshot
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41927-6openalex-snapshot
Examples Analysis of Intelligent Control Systems
inferred← citeshttps://doi.org/10.1023/a:1008152518630openalex-snapshot
Structuring of Large-scale Complex Hybrid Systems: from Illustrative Analysis toward Modelization
inferred← citeshttps://doi.org/10.1023/a:1008210519960openalex-snapshot
Modular Control and Coordination of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1023/a:1008391200517openalex-snapshot
Supervisory Control of Distributed Systems: Conflict Resolution
inferred← citeshttps://doi.org/10.1023/a:1018502131099openalex-snapshot
Towards a synthesis method for distributed safety controllers based on net condition/event systems
inferred← citeshttps://doi.org/10.1023/a:1025644032004openalex-snapshot
Aggregation in hierarchical discrete-event systems
inferred← citeshttps://doi.org/10.1023/b:disc.0000005010.55515.27openalex-snapshot
On the Computation of Observers in Discrete-Event Systems
inferred← citeshttps://doi.org/10.1049/ip-cta:20030015openalex-snapshot
Hierarchical supervisory control of discrete event systems based on H-observability
inferred← citeshttps://doi.org/10.1063/1.5081542openalex-snapshot
On checking properties of decentralized controlled discrete-event systems
inferred← citeshttps://doi.org/10.1080/00207170600752473openalex-snapshot
A language measure for partially observed discrete event systems
inferred← citeshttps://doi.org/10.1080/00207170701799365openalex-snapshot
Incremental hierarchical construction of modular supervisors for discrete-event systems
inferred← citeshttps://doi.org/10.1080/00207543.2016.1235804openalex-snapshot
A synthesis approach to distributed supervisory control design for manufacturing systems with Grafcet implementation
inferred← citeshttps://doi.org/10.1080/00207720120307openalex-snapshot
Hierarchical supervisory control of discrete event systems with model uncertainty
inferred← citeshttps://doi.org/10.1109/.2001.980126openalex-snapshot
Computational advantages of a two-level hybrid control architecture
inferred← citeshttps://doi.org/10.1109/.2005.1467134openalex-snapshot
A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/3468.983413openalex-snapshot
Formalized analysis of structural characteristics of large complex systems
inferred← citeshttps://doi.org/10.1109/3477.875442openalex-snapshot
Decentralized control of discrete event systems with specializations to local control and concurrent systems
inferred← citeshttps://doi.org/10.1109/37.56284openalex-snapshot
Concurrency and discrete event control
inferred← citeshttps://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferred← citeshttps://doi.org/10.1109/9.58555openalex-snapshot
On the consistency of hierarchical supervision in discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.863598openalex-snapshot
Hierarchically consistent control systems
inferred← citeshttps://doi.org/10.1109/9.887621openalex-snapshot
Masked prioritized synchronization for interaction and control of discrete event systems
inferred← citeshttps://doi.org/10.1109/9.981721openalex-snapshot
Dynamical consistency in hierarchical supervisory control
inferred← citeshttps://doi.org/10.1109/90.298437openalex-snapshot
Automated repair of complex systems by fault compensation
inferred← citeshttps://doi.org/10.1109/acc.1997.609072openalex-snapshot
Control of distributed discrete event systems modeled as Petri nets
inferred← citeshttps://doi.org/10.1109/acc.2003.1244054openalex-snapshot
Abstractions of constrained linear systems
inferred← citeshttps://doi.org/10.1109/acc.2008.4586535openalex-snapshot
Polynomial-time verification of the observer property in abstractions
inferred← citeshttps://doi.org/10.1109/acc.2008.4586539openalex-snapshot
Modular supervisory control with equivalence-based conflict resolution
inferred← citeshttps://doi.org/10.1109/acc.2008.4586540openalex-snapshot
Design of discrete-event systems using templates
inferred← citeshttps://doi.org/10.1109/acc.2008.4586650openalex-snapshot
Optimal parametric discrete event control: Problem and solution
inferred← citeshttps://doi.org/10.1109/acc.2008.4586652openalex-snapshot
Hierarchical robust supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/acc.2008.4586740openalex-snapshot
Exception Handling Controllerss: An application of pushdown systems to discrete event control
inferred← citeshttps://doi.org/10.1109/acc.2011.5991437openalex-snapshot
Hierarchical supervisory control of fuzzy discrete event systems
inferred← citeshttps://doi.org/10.1109/acc.2012.6314999openalex-snapshot
Invariant weak simulation and analysis of parameterized networks
inferred← citeshttps://doi.org/10.1109/acc.2015.7170766openalex-snapshot
Multilevel coordination control of partially observed modular DES
inferred← citeshttps://doi.org/10.1109/access.2020.3010030openalex-snapshot
Order-Preserving Languages for the Supervisory Control of Automated Manufacturing Systems
inferred← citeshttps://doi.org/10.1109/access.2023.3246123openalex-snapshot
Model Abstraction for Discrete-Event Systems Using a SAT Solver
inferred← citeshttps://doi.org/10.1109/cdc.1995.478833openalex-snapshot
Conflict resolution in modular control with applications to feature interaction
inferred← citeshttps://doi.org/10.1109/cdc.1997.657900openalex-snapshot
Masked prioritized synchronization for interaction and control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1998.758204openalex-snapshot
Supervisory control of distributed systems: conflict resolution
inferred← citeshttps://doi.org/10.1109/cdc.1998.758207openalex-snapshot
Trace-DC hierarchical supervisory control with applications to transfer-lines
inferred← citeshttps://doi.org/10.1109/cdc.1998.758643openalex-snapshot
Coordination control of parallel operations in a hybrid control system
inferred← citeshttps://doi.org/10.1109/cdc.1998.761989openalex-snapshot
Hierarchically consistent control systems
inferred← citeshttps://doi.org/10.1109/cdc.2000.912799openalex-snapshot
Model aggregation for hierarchical control synthesis of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2001.914594openalex-snapshot
Consistent hierarchies of nonlinear abstractions
inferred← citeshttps://doi.org/10.1109/cdc.2002.1184677openalex-snapshot
Supervisory control problems of hierarchical finite state machines
inferred← citeshttps://doi.org/10.1109/cdc.2006.376857openalex-snapshot
On the Computation of Natural Observers in Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/cdc.2007.4434610openalex-snapshot
Hierarchical and decentralized multitasking control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2008.4738688openalex-snapshot
Synthesizing nonblocking distributed supervisors based on automaton abstraction
inferred← citeshttps://doi.org/10.1109/cdc.2009.5400358openalex-snapshot
Hierarchical supervisory control of discrete-event systems under partial observation
inferred← citeshttps://doi.org/10.1109/cdc.2011.6160567openalex-snapshot
Maximally permissive distributed supervisory control of nondeterministic discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.2011.6160686openalex-snapshot
Hierarchical control with partial observations: Sufficient conditions
inferred← citeshttps://doi.org/10.1109/cdc.2012.6427390openalex-snapshot
Supervisory control of extended finite automata using transition projection
inferred← citeshttps://doi.org/10.1109/cdc.2013.6760889openalex-snapshot
Multilevel coordination control of modular DES
inferred← citeshttps://doi.org/10.1109/cdc.2013.6761046openalex-snapshot
Consistent abstractions for the purpose of supervisory control
inferred← citeshttps://doi.org/10.1109/cdc.2014.7040194openalex-snapshot
Decentralized supervisory control with communicating supervisors based on top-down coordination control
inferred← citeshttps://doi.org/10.1109/cdc.2015.7402454openalex-snapshot
Hierarchical Interface-Based decentralized Supervisory Control
inferred← citeshttps://doi.org/10.1109/cdc.2015.7402766openalex-snapshot
Synthesis of discrete-event controllers from sequence-based specifications
inferred← citeshttps://doi.org/10.1109/cdc.2016.7798308openalex-snapshot
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.2016.7798997openalex-snapshot
Planning under abstraction within a supervisory control context
inferred← citeshttps://doi.org/10.1109/cdc.2017.8263722openalex-snapshot
Consistent abstractions for the supervision of sequential behaviours
inferred← citeshttps://doi.org/10.1109/cdc40024.2019.9028856openalex-snapshot
A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10384207openalex-snapshot
Reinforcement Learning for Stochastic Max-Plus Linear Systems
inferred← citeshttps://doi.org/10.1109/ceit.2018.8751762openalex-snapshot
Modelling and Hierarchical Control of CBTC
inferred← citeshttps://doi.org/10.1109/coase.2012.6386332openalex-snapshot
Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition
inferred← citeshttps://doi.org/10.1109/coase.2014.6899363openalex-snapshot
A time fidelity control foundation for hierarchical discrete-event systems
inferred← citeshttps://doi.org/10.1109/coase.2015.7294137openalex-snapshot
Decentralized control of distributed discrete event systems with linear dependency structure
inferred← citeshttps://doi.org/10.1109/ecc.2014.6862174openalex-snapshot
Bottom-up approach to multilevel supervisory control with coordination
inferred← citeshttps://doi.org/10.1109/etfa.2006.355433openalex-snapshot
New Results on Testing Modularity of Local Supervisors using Abstractions
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489681openalex-snapshot
Hierarchical and distributed discrete event control of manufacturing processes
inferred← citeshttps://doi.org/10.1109/icciautom.2016.7483150openalex-snapshot
Distributed supervisory control with partial observation
inferred← citeshttps://doi.org/10.1109/iciibms55689.2022.9971680openalex-snapshot
Diagnosis of Health Monitoring Systems in Smart Homes Using Discrete Event System Theory
inferred← citeshttps://doi.org/10.1109/iciis.2006.365735openalex-snapshot
Statecharts for Reconfigurable Modular Control of Complex Reactive Systems: need for formal verification and associated problems
inferred← citeshttps://doi.org/10.1109/icit.2000.854195openalex-snapshot
Supervisory control of discrete-event systems: an introduction
inferred← citeshttps://doi.org/10.1109/icnsc55942.2022.10004080openalex-snapshot
Game min-max current-state opacity formulation in resource automata
inferred← citeshttps://doi.org/10.1109/icosc.2018.8587843openalex-snapshot
Control of Router Nodes in Production Manufacturing Processes
inferred← citeshttps://doi.org/10.1109/icsmc.2003.1244685openalex-snapshot
A Petri-net approach to hierarchical supervision for remote-controlled processes
inferred← citeshttps://doi.org/10.1109/ines.2017.8118550openalex-snapshot
Supervisory control for flexibility of production manufacturing processes
inferred← citeshttps://doi.org/10.1109/iros.2008.4651041openalex-snapshot
A formation control framework based on Lyapunov approach
inferred← citeshttps://doi.org/10.1109/isic.1990.128432openalex-snapshot
Hierarchical coordination
inferred← citeshttps://doi.org/10.1109/isic.1998.713645openalex-snapshot
Omni-integrated intelligent systems from typical examples to generalization
inferred← citeshttps://doi.org/10.1109/isic.1998.713781openalex-snapshot
Omni-integrated intelligent systems: conceptualism and methodology
inferred← citeshttps://doi.org/10.1109/med.2009.5164694openalex-snapshot
Synthesize nonblocking distributed supervisors with coordinators
inferred← citeshttps://doi.org/10.1109/med.2009.5164696openalex-snapshot
An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems
inferred← citeshttps://doi.org/10.1109/robot.2009.5152190openalex-snapshot
A dynamic programming approach to multi-level supervision
inferred← citeshttps://doi.org/10.1109/tac.2002.1000269openalex-snapshot
Consistent abstractions of affine control systems
inferred← citeshttps://doi.org/10.1109/tac.2003.809144openalex-snapshot
Optimal sensor selection for discrete-event systems with partial observation
inferred← citeshttps://doi.org/10.1109/tac.2003.809150openalex-snapshot
Necessary conditions for control consistency in hierarchical control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/tac.2003.814101openalex-snapshot
Reduced supervisors for timed discrete-event systems
inferred← citeshttps://doi.org/10.1109/tac.2007.910653openalex-snapshot
Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking
inferred← citeshttps://doi.org/10.1109/tac.2008.2006817openalex-snapshot
Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2008.927679openalex-snapshot
Supervisory Control Architecture for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2008.929873openalex-snapshot
Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2009.2031730openalex-snapshot
Verification of Nonconflict of Supervisors Using Abstractions
inferred← citeshttps://doi.org/10.1109/tac.2009.2039237openalex-snapshot
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2010.2042342openalex-snapshot
Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
inferred← citeshttps://doi.org/10.1109/tac.2010.2046931openalex-snapshot
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
inferred← citeshttps://doi.org/10.1109/tac.2010.2067250openalex-snapshot
Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2012.2200373openalex-snapshot
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2014.2298985openalex-snapshot
Verification of the Observer Property in Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tac.2014.2337411openalex-snapshot
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
inferred← citeshttps://doi.org/10.1109/tac.2019.2928119openalex-snapshot
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
inferred← citeshttps://doi.org/10.1109/tac.2023.3257232openalex-snapshot
Hierarchical Supervisory Control Under Partial Observation: Normality
inferred← citeshttps://doi.org/10.1109/tac.2023.3333792openalex-snapshot
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality
inferred← citeshttps://doi.org/10.1109/tase.2011.2181364openalex-snapshot
Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tase.2013.2278975openalex-snapshot
Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition
inferred← citeshttps://doi.org/10.1109/tase.2017.2669893openalex-snapshot
Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure
inferred← citeshttps://doi.org/10.1109/tase.2018.2793963openalex-snapshot
Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tcst.2009.2015591openalex-snapshot
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
inferred← citeshttps://doi.org/10.1109/tcst.2012.2209178openalex-snapshot
Component-Based Method for the Modeling and Control of Modular Production Systems
inferred← citeshttps://doi.org/10.1109/tcst.2013.2239995openalex-snapshot
Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design
inferred← citeshttps://doi.org/10.1109/tcst.2018.2827329openalex-snapshot
Safety of Manufacturing Systems Controllers by Logical Constraints With Safety Filter
inferred← citeshttps://doi.org/10.1109/tetci.2021.3086036openalex-snapshot
Modeling and Control of Probabilistic Fuzzy Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tfuzz.2024.3445267openalex-snapshot
Supervisory Control of Networked Fuzzy Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/tsmca.2012.2227251openalex-snapshot
Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/tsmcc.2006.876056openalex-snapshot
Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology
inferred← citeshttps://doi.org/10.1109/wodes.2002.1167672openalex-snapshot
An assume-guarantee reasoning for hierarchical coordination of discrete event systems
inferred← citeshttps://doi.org/10.1109/wodes.2006.1678399openalex-snapshot
Computationally Efficient Supervisor Design: Abstraction and Modularity
inferred← citeshttps://doi.org/10.1109/wodes.2006.1678400openalex-snapshot
Computationally Efficient Supervisor Design: Control Flow Decomposition
inferred← citeshttps://doi.org/10.1109/wodes.2006.1678416openalex-snapshot
Testing Modularity of Local Supervisors: An Approach Based on Abstractions
inferred← citeshttps://doi.org/10.1109/wodes.2006.1678423openalex-snapshot
Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models
inferred← citeshttps://doi.org/10.1109/wodes.2006.382507openalex-snapshot
Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction
inferred← citeshttps://doi.org/10.1109/wodes.2006.382509openalex-snapshot
Marked-String Accepting Observers for the Hierarchical and Decentralized Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/wodes.2006.382511openalex-snapshot
Hierarchical Discrete Event Systems with Inputs and Outputs
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605917openalex-snapshot
Supervisory control of DES with distinguishing sensors
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605981openalex-snapshot
Supervisor synthesis based on abstractions of nondeterministic automata
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605990openalex-snapshot
On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605991openalex-snapshot
New results on the nonconflict test of modular supervisors
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605992openalex-snapshot
Controller synthesis for an I/O-Based hierarchical system architecture
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497821openalex-snapshot
Supervisory controller synthesis for decomposable deterministic context free specification languages
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497830openalex-snapshot
Modular supervisory control of networked discrete-event systems
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497833openalex-snapshot
Control of an engineering-structured multilevel discrete-event system
inferred← citeshttps://doi.org/10.1109/wodes.2016.7497835openalex-snapshot
Supervisor abstraction to deal with planning problems in manufacturing systems
inferred← citeshttps://doi.org/10.1115/1.4001705openalex-snapshot
Uncertainty Propagation in Abstracted Systems via the Liouville Equation
inferred← citeshttps://doi.org/10.1177/00368504211030833openalex-snapshot
Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems
inferred← citeshttps://doi.org/10.1504/ijmic.2010.033214openalex-snapshot
Uncertainty propagation in Φ related control systems via the Liouville equation
inferred← citeshttps://doi.org/10.1590/s0103-17592004000300005openalex-snapshot
Controle supervisório hierárquico modular por agregação de estados
showing the first 199 of 256 · page through all 256
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.