On the public citation graph
Modular Feedback Logic for Discrete Event Systems
0 signed · 367 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/978-1-4684-0068-7openalex-snapshot
Linear Multivariable Control: a Geometric Approach
inferredcites →https://doi.org/10.1007/bf02551233openalex-snapshot
Modular supervisory control of discrete-event systems
inferredcites →https://doi.org/10.1007/bfb0022498openalex-snapshot
Controlling behaviours of systems : Some basic concepts and some applications
inferredcites →https://doi.org/10.1109/tcs.1978.1084529openalex-snapshot
Feedback systems in a general algebraic setting
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
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/aic.690450812openalex-snapshot
Synthesis and implementation of procedural controllers for event‐driven operations
inferred← citeshttps://doi.org/10.1002/apj.5500090217openalex-snapshot
Hybrid Automaton Model and Control of Hybird Systems
inferred← citeshttps://doi.org/10.1002/asjc.1787openalex-snapshot
State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints
inferred← citeshttps://doi.org/10.1002/asjc.194openalex-snapshot
Non‐blocking decentralized control of discrete event systems based on Petri nets
inferred← citeshttps://doi.org/10.1002/asjc.528openalex-snapshot
Controller Synthesis with Highly Simplified Linear Constraints
inferred← citeshttps://doi.org/10.1002/ecjc.10011openalex-snapshot
State feedback control of timed hybrid Petri nets
inferred← citeshttps://doi.org/10.1002/ecjc.10158openalex-snapshot
Erratum: State feedback control of timed hybrid Petri nets
inferred← citeshttps://doi.org/10.1002/ecjc.4430730411openalex-snapshot
Modular feedbacks of discrete event systems with arbitrary control patterns
inferred← citeshttps://doi.org/10.1002/ecjc.4430760505openalex-snapshot
Several properties of permissive feedbacks in petri nets with external input places
inferred← citeshttps://doi.org/10.1002/ecjc.4430770404openalex-snapshot
Synthesis of decentralized state feedbacks for large‐scale discrete event systems
inferred← citeshttps://doi.org/10.1002/ecjc.4430790501openalex-snapshot
Maximally permissive controllers for controlled time petri nets
inferred← citeshttps://doi.org/10.1007/3-540-44839-x_57openalex-snapshot
Modeling and Simulation of an Experimental Manufacturing Cell
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_1openalex-snapshot
Control Synthesis of Hybrid Systems Based on Predicate Invariance
inferred← citeshttps://doi.org/10.1007/978-1-4471-0423-0_4openalex-snapshot
Supervisory Control and Data Acquisition (SCADA) Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot
Real-Time and Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_35openalex-snapshot
Separability of Predicates and Languages in Large-Scale Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4684-6389-7_79openalex-snapshot
Construction of a Knowledge Base for Simulation and Control of Large Scale and Complex Systems. Applications
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_3openalex-snapshot
Supervisory Control and Formal Methods for Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-13338-6_19openalex-snapshot
Supervisory Control of Discrete-Event Systems via IC3
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-540-78929-1_60openalex-snapshot
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates
inferred← citeshttps://doi.org/10.1007/978-3-642-00602-9_22openalex-snapshot
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15643-4_8openalex-snapshot
The Complexity of Codiagnosability for Discrete Event and Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-58021-5_8openalex-snapshot
Automated Inspection and Reverse Engineering
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_6openalex-snapshot
The Complexity of Some Basic Control Problems for Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-94-011-2560-4_34openalex-snapshot
Visual Observation of a Moving Agent
inferred← citeshttps://doi.org/10.1007/bf00270449openalex-snapshot
A discrete event framework for autonomous observation under uncertainty
inferred← citeshttps://doi.org/10.1007/bf01215843openalex-snapshot
An algebraic approach to supervisory control
inferred← citeshttps://doi.org/10.1007/bf01438606openalex-snapshot
Stabilization and blocking in state feedback control of discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01516010openalex-snapshot
Input/output discrete event processes and communication delays
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/bf01805563openalex-snapshot
On condition/event systems with discrete state realizations
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/bf02134011openalex-snapshot
Invertibility of Discrete-Event Dynamic Systems
inferred← citeshttps://doi.org/10.1007/bf02551233openalex-snapshot
Modular supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1007/bf02745366openalex-snapshot
Logical models of discrete event systems: A comparative exposition
inferred← citeshttps://doi.org/10.1007/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/bfb0020940openalex-snapshot
Abstract verification of structured dynamical systems
inferred← citeshttps://doi.org/10.1007/bfb0033527openalex-snapshot
Logical aspects of control of discrete-event systems: A survey of tools and techniques
inferred← citeshttps://doi.org/10.1007/bfb0033539openalex-snapshot
An algebraic temporal logic approach to the forbidden state problem in discrete event control
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-003-1715-xopenalex-snapshot
Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
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-005-0010-4openalex-snapshot
A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system
inferred← citeshttps://doi.org/10.1007/s00170-025-16160-zopenalex-snapshot
Optimized petri net-based control design for robotic flexible manufacturing systems using integer linear programming
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-006-0021-9openalex-snapshot
Supervision Based on Place Invariants: A Survey
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-012-0130-6openalex-snapshot
Application of supervisory control theory to theme park vehicles
inferred← citeshttps://doi.org/10.1007/s10626-012-0152-0openalex-snapshot
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
inferred← citeshttps://doi.org/10.1007/s10626-020-00319-9openalex-snapshot
State-based supervisory control with restrictions on the supervisor realization
inferred← citeshttps://doi.org/10.1007/s10626-021-00340-6openalex-snapshot
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net
inferred← citeshttps://doi.org/10.1007/s10845-014-0888-5openalex-snapshot
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems
inferred← citeshttps://doi.org/10.1007/s11047-022-09881-7openalex-snapshot
On the computational power of swarm automata using agents with position information
inferred← citeshttps://doi.org/10.1016/0005-1098(91)90055-7openalex-snapshot
Synthesis of feedback control logic for discrete manufacturing systems
inferred← citeshttps://doi.org/10.1016/0005-1098(92)90180-nopenalex-snapshot
Aggregation and multi-level control in discrete event dynamic systems
inferred← citeshttps://doi.org/10.1016/0020-0255(88)90001-1openalex-snapshot
On observability of discrete-event systems
inferred← citeshttps://doi.org/10.1016/0020-0255(88)90002-3openalex-snapshot
Decentralized supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1016/0020-0255(93)90075-wopenalex-snapshot
On optimal attraction in discrete-event processes
inferred← citeshttps://doi.org/10.1016/0098-1354(95)87066-0openalex-snapshot
Design of procedural controllers for chemical processes
inferred← citeshttps://doi.org/10.1016/0164-1212(92)90045-lopenalex-snapshot
Formal methods for the specification and design of real-time safety critical systems
inferred← citeshttps://doi.org/10.1016/0167-6911(94)90034-5openalex-snapshot
Decentralized state feedback control of discrete event systems
inferred← citeshttps://doi.org/10.1016/0167-6911(96)00032-1openalex-snapshot
A temporal logic approach to discrete event control for the safety canonical class
inferred← citeshttps://doi.org/10.1016/0307-904x(92)90059-copenalex-snapshot
Optimal strategic planning problems in manufacturing based on the input-output models
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-041263-4.50091-9openalex-snapshot
STABILIZATION, TRACKING, AND HIERARCHICAL MODELING OF DISCRETE-EVENT DYNAMIC SYSTEMS11Research supported by the Air Force Office of Scientific Research under Grant AFOSR-88-0032 and by the Army Research Office under Grant DAAL03-86-K0171. The research of the authors was partially done during their…
inferred← citeshttps://doi.org/10.1016/b978-0-08-041902-2.50092-1openalex-snapshot
THE CONTROL OF LARGE SCALE SYSTEMS BY USING A KNOWLEDGE-BASED CONTROLLER
inferred← citeshttps://doi.org/10.1016/b978-008044613-4.50074-4openalex-snapshot
Control-Invariance of Sampled-Data Hybrid Systems with Periodically Clocked Events and Jitter
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.artint.2008.03.005openalex-snapshot
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
inferred← citeshttps://doi.org/10.1016/j.automatica.2004.10.013openalex-snapshot
Control-invariance of hybrid systems with forcible events
inferred← citeshttps://doi.org/10.1016/j.automatica.2005.05.011openalex-snapshot
Syntax-based synthesis for temporal-safety supervision
inferred← citeshttps://doi.org/10.1016/j.automatica.2007.10.031openalex-snapshot
Reduction of constraints for controller synthesis based on safe Petri Nets
inferred← citeshttps://doi.org/10.1016/j.automatica.2012.02.037openalex-snapshot
Controller synthesis for safety and reachability via approximate bisimulation
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110520openalex-snapshot
Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
inferred← citeshttps://doi.org/10.1016/j.ejcon.2020.12.002openalex-snapshot
Min-Plus realizable control design for partially observable timed event graphs under marking constraints
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.08.032openalex-snapshot
Safety control, a quantitative approach
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2559openalex-snapshot
Symbolic Supervisory Control of Periodic Event-Triggered Control Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.028openalex-snapshot
Active Learning of Modular Plant Models
inferred← citeshttps://doi.org/10.1016/j.ins.2019.07.008openalex-snapshot
Optimal Petri net supervisor synthesis for forbidden state problems using marking mask
inferred← citeshttps://doi.org/10.1016/j.isatra.2013.09.006openalex-snapshot
Safety analysis of discrete event systems using a simplified Petri net controller
inferred← citeshttps://doi.org/10.1016/j.jnlest.2023.100227openalex-snapshot
Boundedness and liveness enforcement for labeled Petri nets using transition priority
inferred← citeshttps://doi.org/10.1016/j.mechatronics.2018.01.008openalex-snapshot
A design strategy for obtaining reliable controllers for critical mechanical systems
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.2026.106508openalex-snapshot
Symbolic models for switched systems with ranged dwell-times
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/s1474-6670(17)36866-0openalex-snapshot
Computer Aided Design of Supervisory Controller for Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41776-9openalex-snapshot
Design of a Discrete Event Based Supervisor for Continuous Processes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)42296-8openalex-snapshot
Supervisory Synthesis Optimization for Timed Discrete Event Systems - Application to a Production System
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)49193-2openalex-snapshot
Stabilization and Blocking in State Feedback Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51216-1openalex-snapshot
Applications of a Regulator Theory for Discrete-Event Dynamic Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51223-9openalex-snapshot
Distributed Control of Discrete Event Systems Described by a Class of Controlled Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)51970-9openalex-snapshot
Stabilization, Tracking, and Hierarchical Modeling of Discrete-event Dynamic Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)53199-7openalex-snapshot
Modelling and On-line Scheduling of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)53230-9openalex-snapshot
Simulation and Control of Large Scale Systems using a Knowledge Base and Applications
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54223-8openalex-snapshot
The Control of Large Scale Systems by Using a Knowledge-Based Controller
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)54319-0openalex-snapshot
Synthesis of Feedback Control for Forbidden State Problems in Discrete Manufacturing Systems
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)56807-xopenalex-snapshot
Control synthesis of timed discrete event systems: Part one
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58437-2openalex-snapshot
Logic Controller Synthesis for Non-C/U-Partitionable Automata with Forbidden States
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58440-2openalex-snapshot
A New Method for Synthesizing State Avoidance Policies for Controlled Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)69326-1openalex-snapshot
On bi-observbility of discrete event systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)69337-6openalex-snapshot
Control of real time petri nets with application to manufacturing
inferred← citeshttps://doi.org/10.1023/a:1008210519960openalex-snapshot
Modular Control and Coordination of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1023/a:1008224000619openalex-snapshot
On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets
inferred← citeshttps://doi.org/10.1023/a:1008271916548openalex-snapshot
A Survey of Petri Net Methods for Controlled Discrete Event Systems
inferred← citeshttps://doi.org/10.1023/a:1008311720696openalex-snapshot
Synthesis of Discrete-Event Controllers Based on the Signal Environment
inferred← citeshttps://doi.org/10.1023/a:1008391200517openalex-snapshot
Supervisory Control of Distributed Systems: Conflict Resolution
inferred← citeshttps://doi.org/10.1023/a:1008740917111openalex-snapshot
A Comparative Study of Synthesis Methods for Discrete Event Controllers
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:1018921310489openalex-snapshot
A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models
inferred← citeshttps://doi.org/10.1049/iet-cta.2011.0507openalex-snapshot
Supervisory control for dynamic monopoly
inferred← citeshttps://doi.org/10.1049/iet-cta.2015.1047openalex-snapshot
Power‐based supervisory control theory of hybrid systems and its application to the analysis of financial crisis
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/00207170600627188openalex-snapshot
Analytical approach to evaluate language measure parameters for discrete-event supervisory control
inferred← citeshttps://doi.org/10.1080/00207179.2011.633231openalex-snapshot
Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets
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.2014.993712openalex-snapshot
State feedback control of real-time discrete event systems with infinite states
inferred← citeshttps://doi.org/10.1080/00207179108934202openalex-snapshot
Supervisory control of concurrent discrete-event systems
inferred← citeshttps://doi.org/10.1080/00207179408921484openalex-snapshot
Concurrency and maximally permissive feedback in Petri nets with external input places
inferred← citeshttps://doi.org/10.1080/00207179608921868openalex-snapshot
State-space supervisory control of reconfigurable discrete event systems
inferred← citeshttps://doi.org/10.1080/00207720802436711openalex-snapshot
Supervisory control of discrete event systems with state-dependent controllability
inferred← citeshttps://doi.org/10.1080/00207721.2018.1445311openalex-snapshot
Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
inferred← citeshttps://doi.org/10.1080/00207729708929429openalex-snapshot
Stability and robustness of discrete event dynamic systems
inferred← citeshttps://doi.org/10.1093/ietfec/e90-a.4.707openalex-snapshot
Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
inferred← citeshttps://doi.org/10.1093/ietfec/e91-a.11.3365openalex-snapshot
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate
inferred← citeshttps://doi.org/10.1109/.2001.980126openalex-snapshot
Computational advantages of a two-level hybrid control architecture
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/9.121634openalex-snapshot
On Petri net models of infinite state supervisors
inferred← citeshttps://doi.org/10.1109/9.133186openalex-snapshot
Output stabilizability of discrete-event dynamic systems
inferred← citeshttps://doi.org/10.1109/9.135519openalex-snapshot
On closed-loop liveness of discrete-event systems under maximally permissive control
inferred← citeshttps://doi.org/10.1109/9.151099openalex-snapshot
Concurrency and state feedback in 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.250512openalex-snapshot
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
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.250558openalex-snapshot
Control of discrete event systems modeled as hierarchical state machines
inferred← citeshttps://doi.org/10.1109/9.286270openalex-snapshot
On the existence of finite state supervisors for arbitrary supervisory control problems
inferred← citeshttps://doi.org/10.1109/9.376113openalex-snapshot
Concurrent vector discrete-event systems
inferred← citeshttps://doi.org/10.1109/9.400484openalex-snapshot
The infimal controllable and N-observable superpredicate of a given predicate
inferred← citeshttps://doi.org/10.1109/9.40744openalex-snapshot
Control of large discrete event systems: constructive algorithms
inferred← citeshttps://doi.org/10.1109/9.467679openalex-snapshot
On forbidden state problems for a class of controlled Petri nets
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.506233openalex-snapshot
A generalization of state avoidance policies for controlled Petri nets
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.57018openalex-snapshot
Observability of discrete event dynamic systems
inferred← citeshttps://doi.org/10.1109/9.57027openalex-snapshot
Maximally permissive feedback and modular control synthesis in Petri nets with external input places
inferred← citeshttps://doi.org/10.1109/9.599972openalex-snapshot
On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
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.701116openalex-snapshot
Optimal state-space partition for control of discrete-event systems with static specifications
inferred← citeshttps://doi.org/10.1109/9.793788openalex-snapshot
Supervisory control of probabilistic discrete-event systems with recovery
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/acc.1994.751917openalex-snapshot
Decentralized supervisory predicate control of discrete event dynamical systems
inferred← citeshttps://doi.org/10.1109/acc.1995.532324openalex-snapshot
A new class of supervisors for partially observed 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.1997.609097openalex-snapshot
Maximally permissive state feedback logic for controlled time Petri nets
inferred← citeshttps://doi.org/10.1109/acc.1999.786142openalex-snapshot
A simulation study on adaptability to environmental variations based on ecological systems
inferred← citeshttps://doi.org/10.1109/acc.1999.786212openalex-snapshot
Control computation and complexity of temporal-safety in 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.879230openalex-snapshot
A dynamic-programming-type technique for the control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1109/acc.2007.4282215openalex-snapshot
Determination of Minimal Sets of Control Places for Safe Petri Nets
inferred← citeshttps://doi.org/10.1109/acc.2007.4282277openalex-snapshot
Fault-Tolerant Supervisory Control of Discrete Event Systems Modeled by Bounded Petri Nets
inferred← citeshttps://doi.org/10.1109/acc.2013.6579954openalex-snapshot
On analysis of deadlock and blocking freeness in isomorphic module systems
inferred← citeshttps://doi.org/10.1109/access.2023.3272404openalex-snapshot
Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
inferred← citeshttps://doi.org/10.1109/access.2023.3322141openalex-snapshot
Sequence Planning for Labeled Petri Nets With Time and Resource Constraints Using Basis Markings
inferred← citeshttps://doi.org/10.1109/cacsd.1992.274421openalex-snapshot
A model for visual observation under uncertainty
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/cca.2000.897495openalex-snapshot
The synthesis of controllers to handle safety, and liveness for timed discrete-event systems-an example in nuclear reactor systems
inferred← citeshttps://doi.org/10.1109/ccca.2011.6031518openalex-snapshot
Supervisory control of timed-place marked graph based on Marking Exclusion Constraint
inferred← citeshttps://doi.org/10.1109/ccdc.2015.7162383openalex-snapshot
Fault diagnosis based on Discrete Event System for power grid
inferred← citeshttps://doi.org/10.1109/cdc.1986.267551openalex-snapshot
Observability of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1987.272773openalex-snapshot
Control of discrete event processes with forced events
inferred← citeshttps://doi.org/10.1109/cdc.1988.194296openalex-snapshot
Controllability and observability in the state-feedback control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1988.194577openalex-snapshot
State feedback and modular control synthesis in controlled Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.1989.70087openalex-snapshot
On controllable predicates and languages in discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70089openalex-snapshot
Basis feedback, weak interaction, and concurrent well-posedness in concurrent discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70091openalex-snapshot
Synthesis of controllers for real-time discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70673openalex-snapshot
Output stabilizability of discrete event dynamic systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70674openalex-snapshot
On closed-loop liveness of discrete event systems under maximally permissive control
inferred← citeshttps://doi.org/10.1109/cdc.1989.70675openalex-snapshot
Strict concurrency and nondeterministic control of discrete-event systems
inferred← citeshttps://doi.org/10.1109/cdc.1989.70676openalex-snapshot
On stabilization of discrete-event processes
inferred← citeshttps://doi.org/10.1109/cdc.1990.203678openalex-snapshot
Tracking and restrictability in discrete-event dynamic 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.1991.261263openalex-snapshot
Using predicate transformers for supervisory control
inferred← citeshttps://doi.org/10.1109/cdc.1991.261529openalex-snapshot
Schedule-driven supervisory control of flexible manufacturing systems
showing the first 200 of 361 · page through all 361
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.