On the public citation graph
Modular Supervisory Control of Discrete Event Systems
0 signed · 359 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/bfb0022498openalex-snapshot
Controlling behaviours of systems : Some basic concepts and some applications
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/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0166-3615(83)90024-6openalex-snapshot
Analysis and optimization of systems
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/s0079-8169(08)x6055-6openalex-snapshot
Automata, Languages, and Machines
inferredcites →https://doi.org/10.1109/9.402openalex-snapshot
Supervisory control of discrete-event processes with partial observations
inferredcites →https://doi.org/10.1109/cdc.1982.268351openalex-snapshot
Supervision of discrete event processes
inferredcites →https://doi.org/10.1109/cdc.1984.272178openalex-snapshot
On the supremal controllable sublanguage of a given language
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-0-387-35569-6_22openalex-snapshot
Statechart and automatons in the supervisory robust control
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-31514-6_14openalex-snapshot
Control Synthesis Through Deep Learning
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-61470-6_27openalex-snapshot
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
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/bf01439177openalex-snapshot
Recursive computation of limited lookahead supervisory controls for discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01474751openalex-snapshot
FMS control design: an information value approach
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/bf02551233openalex-snapshot
Modular supervisory control of discrete-event systems
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/bf02551817openalex-snapshot
On the control of discrete-event dynamical systems
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/s00170-004-2426-7openalex-snapshot
A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets
inferred← citeshttps://doi.org/10.1007/s00170-006-0843-5openalex-snapshot
An implementation methodology for supervisory control theory
inferred← citeshttps://doi.org/10.1007/s001700070058openalex-snapshot
Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System
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-010-0089-0openalex-snapshot
Conceptual Design of Discrete-Event Systems Using Templates
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-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/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/s12555-017-0030-5openalex-snapshot
A Supervisory Control Theoretic Approach to the Analysis of Democratic Progress
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/0020-0255(93)90107-wopenalex-snapshot
Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
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/0736-5845(88)90013-0openalex-snapshot
Model-based low-level control in flexible manufacturing 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-041902-2.50083-0openalex-snapshot
ON THE DESIGN OF DISCRETE EVENT DYNAMIC SYSTEMS BY MEANS OF THE BOOLEAN DIFFERENTIAL CALCULUS
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.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.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.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.matcom.2007.12.002openalex-snapshot
Reactive mode handling of flexible manufacturing systems
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(98)00137-xopenalex-snapshot
Mixed centralized/decentralized supervisory control of discrete event dynamic systems
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)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)30756-5openalex-snapshot
A composition oriented perspective on controllability of large scale DES
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30788-7openalex-snapshot
Early termination by local string in incremental language containment tests
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)54214-7openalex-snapshot
On the Design of Discrete Event Dynamic Systems by Means of the Boolean Differential Calculus
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)55027-2openalex-snapshot
Decentralized Supervisory Control of Discrete-event Systems
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/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.121634openalex-snapshot
On Petri net models of infinite state supervisors
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.1271openalex-snapshot
Finitely recursive process models for discrete event 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.237665openalex-snapshot
On a weaker notion of controllability of a language K with respect to a language L
inferred← citeshttps://doi.org/10.1109/9.250543openalex-snapshot
A note on deciding the controllability of a language K with respect to a language L
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.402openalex-snapshot
Supervisory control of discrete-event processes with partial observations
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.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.2006.1657369openalex-snapshot
Decentralized control of discrete-event systems when supervisors observe particular event occurrences
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/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/cacsd.1996.555351openalex-snapshot
The existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by partially controlled Petri nets is undecidable
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.1988.194493openalex-snapshot
Formulation and control of real time discrete event processes
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.1991.261261openalex-snapshot
On the complexity of forbidden state problems for controlled marked graphs
inferred← citeshttps://doi.org/10.1109/cdc.1992.370956openalex-snapshot
Recursive computation of limited lookahead supervisory controls for 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.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.2001.980821openalex-snapshot
Strong co-observability conditions for decentralized supervisory control of discrete event 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.1582472openalex-snapshot
Distributed implementations of Ramadge-Wonham supervisory control with Petri nets
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.1582702openalex-snapshot
Decentralized Supervisory Control of a Distributed Filling Shop Using Standardized Models
inferred← citeshttps://doi.org/10.1109/cdc.2005.1583393openalex-snapshot
Nonblocking Directed 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.2010.5717618openalex-snapshot
An iterative control method for distributed continuous Petri nets
showing the first 200 of 345 · page through all 345
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.