On the public citation graph
Modular supervisory control of discrete-event systems
0 signed · 354 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/s1474-6670(17)55027-2openalex-snapshot
Decentralized Supervisory Control of Discrete-event Systems
inferredcites →https://doi.org/10.1109/cdc.1982.268351openalex-snapshot
Supervision of discrete event processes
inferredcites →https://doi.org/10.1109/cdc.1986.267378openalex-snapshot
Modeling and control of discrete event systems
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
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-0-387-35390-6_50openalex-snapshot
Interactive Design of Integrated Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-0855-9_20openalex-snapshot
Static and Dynamic Control of Discrete Event Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3061-1_9openalex-snapshot
Introduction to the Modelling, Control and Optimization of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-4276-8_6openalex-snapshot
Supervisory Control of Distributed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-3462-3_60openalex-snapshot
On Controllable Languages in Supervisory Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4613-9347-4_9openalex-snapshot
Decentralized Discrete-Event Systems and Computational Complexity
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_10openalex-snapshot
Modular Supervisory Control of Large Scale Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-27008-7_5openalex-snapshot
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-030-40914-2_1openalex-snapshot
Modeling Guidelines for Component-Based Supervisory Control Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-030-62822-2_1openalex-snapshot
The Road Ahead for Supervisor Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_1openalex-snapshot
Augmented Languages and Supervisory Control in Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-09952-1_6openalex-snapshot
Application of Supervisory Control Theory to Swarms of e-puck and Kilobot Robots
inferred← citeshttps://doi.org/10.1007/978-3-319-66999-1_7openalex-snapshot
Feedback and Control II: Modern Methodologies
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_7openalex-snapshot
State-Based Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-89960-2_19openalex-snapshot
From Natural Projection to Partial Model Checking and Back
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_36openalex-snapshot
Decomposing Controllers into Non-conflicting Distributed Controllers
inferred← citeshttps://doi.org/10.1007/978-3-540-45133-4_8openalex-snapshot
Formal Modeling and Supervisory Control of Reconfigurable Robot Teams
inferred← citeshttps://doi.org/10.1007/978-3-540-70701-1_9openalex-snapshot
On Decentralized and Distributed Control of Partially-Observed Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_20openalex-snapshot
Compositional Strategy Mapping
inferred← citeshttps://doi.org/10.1007/978-3-642-39218-4_21openalex-snapshot
Enforcement of Privacy Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-83548-3_16openalex-snapshot
Supervisory Control of Discrete Event Processes with Arbitrary Controls
inferred← citeshttps://doi.org/10.1007/978-3-642-83548-3_5openalex-snapshot
A Control Theory for Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-83548-3_6openalex-snapshot
The Complexity of Some Basic Control Problems for Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-981-99-6859-6_12openalex-snapshot
GPenSIM: Present and Future
inferred← citeshttps://doi.org/10.1007/bf01439177openalex-snapshot
Recursive computation of limited lookahead supervisory controls for discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01516008openalex-snapshot
Supervisory control using augmented languages in discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01797138openalex-snapshot
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
inferred← citeshttps://doi.org/10.1007/bf01797143openalex-snapshot
On tolerable and desirable behaviors in supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01797154openalex-snapshot
Hierarchical control of discrete-event systems
inferred← citeshttps://doi.org/10.1007/bf01797155openalex-snapshot
Hierarchical control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1007/bf02088297openalex-snapshot
Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
inferred← citeshttps://doi.org/10.1007/bf02551361openalex-snapshot
On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
inferred← citeshttps://doi.org/10.1007/bf02745366openalex-snapshot
Logical models of discrete event systems: A comparative exposition
inferred← citeshttps://doi.org/10.1007/bfb0008476openalex-snapshot
On the control of discrete-event systems
inferred← citeshttps://doi.org/10.1007/bfb0042305openalex-snapshot
Supervisory control of discrete event systems: A survey and some new results
inferred← citeshttps://doi.org/10.1007/s10626-004-6210-5openalex-snapshot
PSPACE-completeness of Modular Supervisory Control Problems*
inferred← citeshttps://doi.org/10.1007/s10626-005-5237-6openalex-snapshot
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation
inferred← citeshttps://doi.org/10.1007/s10626-006-0007-7openalex-snapshot
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach
inferred← citeshttps://doi.org/10.1007/s10626-007-0033-0openalex-snapshot
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-008-0040-9openalex-snapshot
Control of Parameterized 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-011-0101-3openalex-snapshot
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/s10626-011-0106-yopenalex-snapshot
Decentralized Control of Infinite Systems
inferred← citeshttps://doi.org/10.1007/s10626-012-0130-6openalex-snapshot
Application of supervisory control theory to theme park vehicles
inferred← citeshttps://doi.org/10.1007/s10626-015-0222-1openalex-snapshot
On-line compositional controller synthesis for AGV
inferred← citeshttps://doi.org/10.1007/s10626-019-00288-8openalex-snapshot
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
inferred← citeshttps://doi.org/10.1007/s10626-020-00334-wopenalex-snapshot
Compositional coordinator synthesis of extended finite automata
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-026-00442-zopenalex-snapshot
Task scheduling using Markov decision process over supervisory control theory
inferred← citeshttps://doi.org/10.1007/s10817-020-09568-7openalex-snapshot
Natural Projection as Partial Model Checking
inferred← citeshttps://doi.org/10.1007/s10846-020-01201-4openalex-snapshot
Automatic Controller Code Generation for Swarm Robotics Using Probabilistic Timed Supervisory Control Theory (ptSCT)
inferred← citeshttps://doi.org/10.1007/s11721-016-0119-0openalex-snapshot
Supervisory control theory applied to swarm robotics
inferred← citeshttps://doi.org/10.1007/s11768-023-00135-0openalex-snapshot
Modular supervisory control for multi-floor manufacturing processes
inferred← citeshttps://doi.org/10.1007/s12555-017-0030-5openalex-snapshot
A Supervisory Control Theoretic Approach to the Analysis of Democratic Progress
inferred← citeshttps://doi.org/10.1007/s41050-023-00041-zopenalex-snapshot
Forest Digital Twin: A Digital Transformation Approach for Monitoring Greenhouse Gas Emissions
inferred← citeshttps://doi.org/10.1016/0020-0255(88)90048-5openalex-snapshot
On sSupervisory control of real-time discrete-event systems
inferred← citeshttps://doi.org/10.1016/0167-6911(90)90004-eopenalex-snapshot
Formulas for calculating supremal controllable and normal sublanguages
inferred← citeshttps://doi.org/10.1016/0167-6911(91)90035-dopenalex-snapshot
On nonconflicting languages that arise in supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/0167-6911(91)90061-iopenalex-snapshot
On controllability and normality of discrete event dynamical systems
inferred← citeshttps://doi.org/10.1016/0304-4149(90)90091-6openalex-snapshot
Asymptotic behavior of random discrete event systems
inferred← citeshttps://doi.org/10.1016/0895-7177(96)00063-5openalex-snapshot
Supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-041897-1.50013-4openalex-snapshot
DISCRETE EVENT SYSTEMS CONTROL OF A RAPID THERMAL MULTIPROCESSOR
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.03.006openalex-snapshot
Systems Biology, Synthetic Biology and Control Theory: A promising golden braid
inferred← citeshttps://doi.org/10.1016/j.automatica.2005.03.011openalex-snapshot
Maximally permissive mutually and globally nonblocking supervision with application to switching control
inferred← citeshttps://doi.org/10.1016/j.automatica.2008.05.025openalex-snapshot
State estimation and detectability of probabilistic discrete event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2010.02.025openalex-snapshot
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
inferred← citeshttps://doi.org/10.1016/j.automatica.2013.07.023openalex-snapshot
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110731openalex-snapshot
On-the-fly informed search of non-blocking directed controllers
inferred← citeshttps://doi.org/10.1016/j.conengprac.2021.104830openalex-snapshot
Model properties for efficient synthesis of nonblocking modular supervisors
inferred← citeshttps://doi.org/10.1016/j.cose.2015.03.004openalex-snapshot
Enforcement of privacy requirements
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.06.491openalex-snapshot
Nadzoru: A Software Tool for Supervisory Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.530openalex-snapshot
A Tool Support to Distributed Control Synthesis and Grafcet Implementation for Discrete Event Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.328openalex-snapshot
Hierarchical MPC of Hybrid Power Systems based on Fuzzy Discrete Abstraction
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.070openalex-snapshot
Synthesis of Supervisors for a PID-Controlled Industrial Process and Implementation on Foundation Fieldbus
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.339openalex-snapshot
Assume-Guarantee Synthesis of Decentralised Supervisory Control
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.022openalex-snapshot
Using Markov Decision Process over Local Modular Supervisors for Planning Problems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2024.07.037openalex-snapshot
Expressivity of Timed Discrete Event Systems and Timed Automata
inferred← citeshttps://doi.org/10.1016/j.ins.2015.08.056openalex-snapshot
Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis
inferred← citeshttps://doi.org/10.1016/j.ins.2023.02.033openalex-snapshot
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
inferred← citeshttps://doi.org/10.1016/j.jai.2026.02.002openalex-snapshot
Supervisory control of Petri nets with uncontrollable and unobservable transitions under replacement attacks
inferred← citeshttps://doi.org/10.1016/j.jmsy.2008.08.002openalex-snapshot
Application of the analytical hierarchy process for real-time scheduling and part routing in advanced manufacturing systems
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.matcom.2007.12.002openalex-snapshot
Reactive mode handling of flexible manufacturing systems
inferred← citeshttps://doi.org/10.1016/j.mechatronics.2022.102848openalex-snapshot
Distributed supervisory control for multiple robot autonomous navigation performing single-robot tasks
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103350openalex-snapshot
DEScMaker: A tool for automated code generation for discrete event systems controllers
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.07.049openalex-snapshot
Control of discrete-event systems with modular or distributed structure
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/s0005-1098(97)00121-0openalex-snapshot
A characterization of realizable behavior in supervisory control of timed event graphs
inferred← citeshttps://doi.org/10.1016/s0005-1098(99)00142-9openalex-snapshot
Incremental model evolution and reusability of supervisors for discrete event systems
inferred← citeshttps://doi.org/10.1016/s0167-6911(02)00322-5openalex-snapshot
Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control
inferred← citeshttps://doi.org/10.1016/s0967-0661(03)00056-xopenalex-snapshot
Modular supervisory control of an experimental automated manufacturing system
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30717-6openalex-snapshot
Implementation of local modular supervisory control for a pneumatic system using PLC
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30724-3openalex-snapshot
Maximally permissive mutually and globally nonblocking supervisors for discrete event systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30725-5openalex-snapshot
Supremal normal sublanguages of large distributed discrete-event systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30741-3openalex-snapshot
Multi-tasking supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30742-5openalex-snapshot
Modular supervisory control of a class of concurrent discrete event systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43375-1openalex-snapshot
Discrete Event Dynamic System Monitoring Using Supervisory Control Theory
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)52338-1openalex-snapshot
Discrete Event Systems Control of a Rapid Thermal Multiprocessor
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56805-6openalex-snapshot
Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
inferred← citeshttps://doi.org/10.1023/a:1008166028381openalex-snapshot
A Supervisory Control Approach for Execution Control of an FMC
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:1020207328508openalex-snapshot
Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks
inferred← citeshttps://doi.org/10.1023/a:1023905023772openalex-snapshot
Models and Algorithms for Failure Diagnosis and Recovery in FMSs
inferred← citeshttps://doi.org/10.1080/0020717031000088210openalex-snapshot
A method for the modular synthesis of controllers for timed 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/00207170903062174openalex-snapshot
A new method for centralised and modular supervisory control of real-time discrete event systems
inferred← citeshttps://doi.org/10.1080/00207178808906178openalex-snapshot
Supervisor specification and synthesis for discrete event systems
inferred← citeshttps://doi.org/10.1080/00207179.2012.715754openalex-snapshot
Modular supervisory control and coordination of state tree structures
inferred← citeshttps://doi.org/10.1080/00207179.2018.1521007openalex-snapshot
Achieving a global objective with competing networked agents in the framework of discrete event systems
inferred← citeshttps://doi.org/10.1080/00207540500142423openalex-snapshot
Modelling inter-task dependencies and control of workflow managements systems based on supervisory control theory
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/0951192x.2011.552530openalex-snapshot
Design and implementation of decentralised supervisory control for manufacturing system automation
inferred← citeshttps://doi.org/10.1080/13873954.2014.942785openalex-snapshot
A dynamic modelling framework for control-based computing system design
inferred← citeshttps://doi.org/10.1109/100.591642openalex-snapshot
Discrete event and hybrid systems in robotics and automation: an overview
inferred← citeshttps://doi.org/10.1109/3477.875441openalex-snapshot
On the complexity of supervisory control design in the RW framework
inferred← citeshttps://doi.org/10.1109/3477.875444openalex-snapshot
Supervisory control of multiworkcell manufacturing systems with shared resources
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/59.387957openalex-snapshot
Supervisory control of electric power transmission networks
inferred← citeshttps://doi.org/10.1109/70.481746openalex-snapshot
The real-time supervisory control of an experimental manufacturing cell
inferred← citeshttps://doi.org/10.1109/70.843174openalex-snapshot
Intelligent organization for flexible manufacturing
inferred← citeshttps://doi.org/10.1109/71.494637openalex-snapshot
Using finite state automata to produce self-optimization and self-control
inferred← citeshttps://doi.org/10.1109/9.1222openalex-snapshot
Modeling and analysis of transaction execution in database systems
inferred← citeshttps://doi.org/10.1109/9.173140openalex-snapshot
Think globally, act locally: decentralized supervisory control
inferred← citeshttps://doi.org/10.1109/9.182478openalex-snapshot
Limited lookahead policies in supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/9.231459openalex-snapshot
Supervisory control of a rapid thermal multiprocessor
inferred← citeshttps://doi.org/10.1109/9.233154openalex-snapshot
Control of vector discrete-event systems. I. The base model
inferred← citeshttps://doi.org/10.1109/9.284900openalex-snapshot
A normality theorem for decentralized control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.286260openalex-snapshot
Blocking and controllability of Petri nets in supervisory control
inferred← citeshttps://doi.org/10.1109/9.376114openalex-snapshot
Language convergence in controlled discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.400469openalex-snapshot
The computational complexity of decentralized discrete-event control problems
inferred← citeshttps://doi.org/10.1109/9.40744openalex-snapshot
Control of large discrete event systems: constructive algorithms
inferred← citeshttps://doi.org/10.1109/9.471222openalex-snapshot
Static-state feedback control of discrete-event systems under partial observation
inferred← citeshttps://doi.org/10.1109/9.478331openalex-snapshot
Fully decentralized solutions of supervisory control problems
inferred← citeshttps://doi.org/10.1109/9.50340openalex-snapshot
Discrete event systems with stochastic processing times
inferred← citeshttps://doi.org/10.1109/9.52291openalex-snapshot
The infimal closed controllable superlanguage and its application in supervisory control
inferred← citeshttps://doi.org/10.1109/9.53517openalex-snapshot
Synthesis of feedback control logic for a class of controlled Petri nets
inferred← citeshttps://doi.org/10.1109/9.545713openalex-snapshot
On asymptotically efficient solutions for a class of supervisory control problems
inferred← citeshttps://doi.org/10.1109/9.566659openalex-snapshot
Supervisory control using failure semantics and partial specifications
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.61009openalex-snapshot
Decentralized control and coordination of discrete-event systems with partial observation
inferred← citeshttps://doi.org/10.1109/9.650022openalex-snapshot
On deadlock-free modular supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.774118openalex-snapshot
Minimizing the set of local supervisors in fully decentralized supervision
inferred← citeshttps://doi.org/10.1109/9.847723openalex-snapshot
Design of nonblocking modular supervisors using event priority functions
inferred← citeshttps://doi.org/10.1109/9.8645openalex-snapshot
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
inferred← citeshttps://doi.org/10.1109/9.86945openalex-snapshot
Dealing with blocking in supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/acc.1997.608978openalex-snapshot
Decision fusion and supervisor synthesis in decentralized discrete-event systems
inferred← citeshttps://doi.org/10.1109/acc.1999.786215openalex-snapshot
A modified method for supervisor specification and synthesis of a class of discrete event systems
inferred← citeshttps://doi.org/10.1109/acc.2000.876983openalex-snapshot
Modular control of composed systems
inferred← citeshttps://doi.org/10.1109/acc.2000.876984openalex-snapshot
Incremental system verification and synthesis of minimally restrictive behaviours
inferred← citeshttps://doi.org/10.1109/acc.2001.945770openalex-snapshot
Automated control synthesis for an assembly line using discrete event system control theory
inferred← citeshttps://doi.org/10.1109/acc.2005.1470593openalex-snapshot
Conservation of normality for master-slave and strict discrete-event system composition
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.4586652openalex-snapshot
Hierarchical robust supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/access.2025.3586293openalex-snapshot
Decentralized Supervisory Control of Discrete-Event Systems in Canonical Temporal Logic
inferred← citeshttps://doi.org/10.1109/cacsd-cca-isic.2006.4776928openalex-snapshot
Control synthesis and implementation for an integrated manufacturing system based on Supervisory Control Theory
inferred← citeshttps://doi.org/10.1109/cadiag.2018.8751490openalex-snapshot
Timed Synthesis Control Approach for Tolerant-Fault Control of Discrete Event Systems (DES)
inferred← citeshttps://doi.org/10.1109/case49439.2021.9551593openalex-snapshot
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis
inferred← citeshttps://doi.org/10.1109/cca.2000.897589openalex-snapshot
Adaptive supervisory control of interconnected discrete event systems
inferred← citeshttps://doi.org/10.1109/ccdc.2012.6242921openalex-snapshot
Representation of supervisory controls using state tree structures, binary decision diagrams, automata, and supervisor reduction
inferred← citeshttps://doi.org/10.1109/ccece.1995.526415openalex-snapshot
Conflict resolution with flexible priority in modular control
inferred← citeshttps://doi.org/10.1109/ccece.2000.849717openalex-snapshot
The real-time monitoring of an experimental manufacturing cell
inferred← citeshttps://doi.org/10.1109/ccta.2018.8511449openalex-snapshot
Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line
inferred← citeshttps://doi.org/10.1109/cdc.1988.194298openalex-snapshot
Discrete event systems with stochastic processing times
inferred← citeshttps://doi.org/10.1109/cdc.1988.194492openalex-snapshot
Decentralized control and coordination of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70086openalex-snapshot
Dealing with blocking in supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70345openalex-snapshot
Decentralized and distributed control approaches and algorithms
inferred← citeshttps://doi.org/10.1109/cdc.1989.70404openalex-snapshot
Asymptotic behavior of random discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1990.203302openalex-snapshot
On the existence of finite state supervisors in discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1992.371011openalex-snapshot
On the existence of Petri net supervisors
inferred← citeshttps://doi.org/10.1109/cdc.1992.371375openalex-snapshot
A normality theorem for decentralized control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1993.325375openalex-snapshot
On deadlock-free modular supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1993.325595openalex-snapshot
Modular supervisory control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1995.478832openalex-snapshot
Modular Supervisory Control with Priorities for Discrete Event Systems
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.1996.573524openalex-snapshot
Priority assignment algorithms for resolving blocking in modular control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1997.657901openalex-snapshot
Decentralised control of concurrent discrete-event systems with non-prefix closed local specifications
inferred← citeshttps://doi.org/10.1109/cdc.1997.657903openalex-snapshot
Mutually non-blocking supervisory 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.1999.831250openalex-snapshot
Initial investigations of hierarchical supervisory control for multi-agent systems
inferred← citeshttps://doi.org/10.1109/cdc.2003.1273027openalex-snapshot
The control and verifcation of similar agents operating in a broadcast network environment
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582583openalex-snapshot
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582700openalex-snapshot
Modular Supervisory Control with General Indecomposable Specification Languages
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582702openalex-snapshot
Decentralized Supervisory Control of a Distributed Filling Shop Using Standardized Models
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.2010.5717618openalex-snapshot
An iterative control method for distributed continuous Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.2012.6426079openalex-snapshot
Symbolic computation of nonblocking control function for timed discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2017.8263721openalex-snapshot
Structuring multilevel discrete-event systems with dependency structure matrices
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/cim.1992.639102openalex-snapshot
Feedback Control For Sequencing Specifications In Controlled Petri Nets
showing the first 200 of 346 · page through all 346
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.