On the public citation graph

On the Supremal Controllable Sublanguage of a Given Language

https://doi.org/10.1137/0325036
0 signed · 716 inferred · view as graph

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

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

What points at this work

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

inferred← citeshttps://doi.org/10.1002/047134608x.w2237openalex-snapshot
Discrete Event Systems
inferred← citeshttps://doi.org/10.1002/9781118602638.ch10openalex-snapshot
Distributed Control
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.4430741009openalex-snapshot
Nondeterminism and existence of finite‐state supervisors in discrete‐event systems
inferred← citeshttps://doi.org/10.1002/tee.22188openalex-snapshot
Confusion diagnosis and avoidance of discrete event systems using supervisory control
inferred← citeshttps://doi.org/10.1006/jagm.1997.0877openalex-snapshot
An Efficient Algorithm for Controller Synthesis under Full Observation
inferred← citeshttps://doi.org/10.1007/1-84628-334-5_2openalex-snapshot
Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/11591962_3openalex-snapshot
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/11804192_3openalex-snapshot
Control of Modular and Distributed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/3-540-36575-3_13openalex-snapshot
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
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-45739-9_8openalex-snapshot
Scheduler Modeling Based on the Controller Synthesis Paradigm
inferred← citeshttps://doi.org/10.1007/3-540-46430-1_29openalex-snapshot
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_22openalex-snapshot
Control of Interval Temporal Systems
inferred← citeshttps://doi.org/10.1007/3-540-57318-6_37openalex-snapshot
Hybrid system modeling and autonomous control systems
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_57openalex-snapshot
Supervisory control of finite state machines
inferred← citeshttps://doi.org/10.1007/3-540-60472-3_24openalex-snapshot
Interface and controller design for hybrid control systems
inferred← citeshttps://doi.org/10.1007/978-0-387-34867-4_12openalex-snapshot
On Specifying Services and Synthesizing Protocols for Real-Time Applications
inferred← citeshttps://doi.org/10.1007/978-0-387-68612-7_3openalex-snapshot
Supervisory Control
inferred← citeshttps://doi.org/10.1007/978-1-4471-0855-9_10openalex-snapshot
Grafcet: Methodological and Formal Issues
inferred← citeshttps://doi.org/10.1007/978-1-4471-0855-9_19openalex-snapshot
Knowledge-Based Control Synthesis of Discrete Event Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-1-4471-0959-4_12openalex-snapshot
Petri Net-Based Approach to Synthesis of Intelligent Control Systems for DEDS
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-4612-0571-5_1openalex-snapshot
Discrete Event Systems: The State of the Art and New Directions
inferred← citeshttps://doi.org/10.1007/978-1-4612-3462-3_3openalex-snapshot
Process Models for 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-1471-4_25openalex-snapshot
On the Design of Observers for Fault Detection in Communication Networks
inferred← citeshttps://doi.org/10.1007/978-1-4613-9347-4_1openalex-snapshot
Markovian Fragments of COCOLOG Theories
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-2231-7_12openalex-snapshot
Supervisory Control Specification and Synthesis
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_12openalex-snapshot
Reduced Supervisors for Timed Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_13openalex-snapshot
Synthesis of Reliable Decentralized Supervisors for Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_2openalex-snapshot
Coalgebra, Concurrency, and Control
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_41openalex-snapshot
Supervisory Control in Discrete Event Systems Using the Theory of Regions
inferred← citeshttps://doi.org/10.1007/978-1-4757-4070-7_3openalex-snapshot
Supervisory Control
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_10openalex-snapshot
Live and Maximally Permissive Controller Synthesis Using Theory of Regions
inferred← citeshttps://doi.org/10.1007/978-1-4757-6656-1_12openalex-snapshot
Implementation Considerations in Supervisory Control
inferred← citeshttps://doi.org/10.1007/978-3-030-85318-1_69openalex-snapshot
Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability
inferred← citeshttps://doi.org/10.1007/978-3-031-57259-3openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-57259-3_4openalex-snapshot
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-0348-8970-4_23openalex-snapshot
Control Synthesis for Discrete Event Systems
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-0348-9120-2_13openalex-snapshot
The Workshop Exercise: An Introduction
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_14openalex-snapshot
The Workshop Exercise Using a Trace Theory Based Setting
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_15openalex-snapshot
A Petri Nets-Based Approach to the Maze Problem Solving
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_16openalex-snapshot
The Cat-and-Mouse Problem as a System of Boolean Equations
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_17openalex-snapshot
Symbolic Supervisor Synthesis for the Animal Maze
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_18openalex-snapshot
The Cat-and-Mouse Problem with Least Delays
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_2openalex-snapshot
Input/Output Discrete Event Processes and System Modeling
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-0348-9120-2_6openalex-snapshot
Similarity of Events in Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-0348-9120-2_7openalex-snapshot
Control of Discrete Event Systems by Means of the Boolean Differential Calculus
inferred← citeshttps://doi.org/10.1007/978-3-319-28934-2_3openalex-snapshot
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
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-69131-2_20openalex-snapshot
Norm Enforcement as Supervisory Control
inferred← citeshttps://doi.org/10.1007/978-3-319-77452-7_3openalex-snapshot
Supervision of Discrete-Event Systems: Basics
inferred← citeshttps://doi.org/10.1007/978-3-540-24771-5_7openalex-snapshot
Investigating Discrete Controllability with Kleene Algebra
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_12openalex-snapshot
Fault Propagation by Equation Solving
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_24openalex-snapshot
Progressive Solutions to a Parallel Automata Equation
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-642-30885-7_7openalex-snapshot
Modeling the Supervisory Control Theory with Alloy
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_48openalex-snapshot
CIF 3: Model-Based Engineering of Supervisory Controllers
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-96-4613-5_17openalex-snapshot
Delayed Transitions in GPenSIM
inferred← citeshttps://doi.org/10.1007/bf01418982openalex-snapshot
Discrete event modeling of visually guided behaviors
inferred← citeshttps://doi.org/10.1007/bf01438708openalex-snapshot
On-line control of partially observed discrete event systems
inferred← citeshttps://doi.org/10.1007/bf01438709openalex-snapshot
Supervisory control using variable lookahead policies
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/bf01516010openalex-snapshot
Input/output discrete event processes and communication delays
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/bf01797154openalex-snapshot
Hierarchical control of 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/bf02745679openalex-snapshot
Flexible regenerative supervision of sequential behaviour
inferred← citeshttps://doi.org/10.1007/bfb0006940openalex-snapshot
Polynomial dynamical systems over finite fields
inferred← citeshttps://doi.org/10.1007/bfb0007558openalex-snapshot
Modular Supervisory Control of Discrete Event Systems
inferred← citeshttps://doi.org/10.1007/bfb0020959openalex-snapshot
Supervisory control of real-time systems using prioritized synchronization
inferred← citeshttps://doi.org/10.1007/bfb0020965openalex-snapshot
Model and stability of hybrid linear system
inferred← citeshttps://doi.org/10.1007/bfb0027674openalex-snapshot
Performance analysis and control of stochastic discrete event systems
inferred← citeshttps://doi.org/10.1007/bfb0032043openalex-snapshot
Markov decision processes and regular events
inferred← citeshttps://doi.org/10.1007/bfb0033530openalex-snapshot
Nondeterministic supervision under partial observations
inferred← citeshttps://doi.org/10.1007/bfb0033535openalex-snapshot
On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given language
inferred← citeshttps://doi.org/10.1007/bfb0042301openalex-snapshot
Finitely Recursive Processes
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/bfb0043053openalex-snapshot
Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields
inferred← citeshttps://doi.org/10.1007/bfb0054268openalex-snapshot
Automated deduction of finite-state control programs for reactive systems
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-007-1037-5openalex-snapshot
Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems
inferred← citeshttps://doi.org/10.1007/s00170-007-1358-4openalex-snapshot
Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems
inferred← citeshttps://doi.org/10.1007/s00170-010-2561-2openalex-snapshot
Supervisor localization for large discrete-event systems
inferred← citeshttps://doi.org/10.1007/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/s10515-010-0074-8openalex-snapshot
A model-based approach for multiple QoS in scheduling: from models to implementation
inferred← citeshttps://doi.org/10.1007/s10626-005-2868-6openalex-snapshot
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
inferred← citeshttps://doi.org/10.1007/s10626-005-4058-yopenalex-snapshot
Multitasking Supervisory Control of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1007/s10626-006-0023-7openalex-snapshot
Solvability of Centralized Supervisory Control Under Partial Observation
inferred← citeshttps://doi.org/10.1007/s10626-006-8136-6openalex-snapshot
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
inferred← citeshttps://doi.org/10.1007/s10626-007-0020-5openalex-snapshot
Concurrent Secrets
inferred← citeshttps://doi.org/10.1007/s10626-010-0089-0openalex-snapshot
Conceptual Design of Discrete-Event Systems Using Templates
inferred← citeshttps://doi.org/10.1007/s10626-013-0172-4openalex-snapshot
Sampled-data supervisory control
inferred← citeshttps://doi.org/10.1007/s10626-014-0193-7openalex-snapshot
Enforcing opacity of regular predicates on modal transition systems
inferred← citeshttps://doi.org/10.1007/s10626-014-0208-4openalex-snapshot
Distributed supervisory control of discrete-event systems with communication delay
inferred← citeshttps://doi.org/10.1007/s10626-015-0212-3openalex-snapshot
Minimal sensor activation and minimal communication in discrete-event systems
inferred← citeshttps://doi.org/10.1007/s10626-015-0221-2openalex-snapshot
Supervisory control synthesis for deterministic context free specification languages
inferred← citeshttps://doi.org/10.1007/s10626-015-0223-0openalex-snapshot
Supervisory control and reactive synthesis: a comparative introduction
inferred← citeshttps://doi.org/10.1007/s10626-016-0228-3openalex-snapshot
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
inferred← citeshttps://doi.org/10.1007/s10626-017-0250-0openalex-snapshot
Characterizations and effective computation of supremal relatively observable sublanguages
inferred← citeshttps://doi.org/10.1007/s10626-019-00282-0openalex-snapshot
A controller synthesis framework for automated service composition
inferred← citeshttps://doi.org/10.1007/s10703-006-0023-0openalex-snapshot
Designing communicating transaction processes by supervisory control theory
inferred← citeshttps://doi.org/10.1007/s10776-006-0034-1openalex-snapshot
Verification of Secure Network Protocols in Uncertain Environments
inferred← citeshttps://doi.org/10.1007/s10845-007-0018-8openalex-snapshot
Failure diagnosis and recovery based on DES framework
inferred← citeshttps://doi.org/10.1007/s11432-017-9238-1openalex-snapshot
A survey on applications of semi-tensor product method in engineering
inferred← citeshttps://doi.org/10.1007/s11768-012-1178-4openalex-snapshot
Matrix expression and reachability analysis of finite automata
inferred← citeshttps://doi.org/10.1016/0005-1098(95)00103-4openalex-snapshot
Feedback control of petri nets based on place invariants
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)90075-wopenalex-snapshot
On optimal attraction in discrete-event processes
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/0098-1354(94)00052-popenalex-snapshot
Optimal feedback control design for discrete-event systems using simulated annealing
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/0167-6911(89)90079-0openalex-snapshot
The complexity of some reachability problems for a system on a finite group
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(90)90059-4openalex-snapshot
The infimal prefix-closed and observable superlanguange of a given language
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/0167-6911(91)90062-jopenalex-snapshot
Control of large scale discrete event systems: Task allocation and coordination
inferred← citeshttps://doi.org/10.1016/0167-6911(93)90082-hopenalex-snapshot
Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00256-iopenalex-snapshot
Extremal solutions of inequations over lattices with applications to supervisory control
inferred← citeshttps://doi.org/10.1016/0895-7177(96)00063-5openalex-snapshot
Supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/0895-7177(96)00064-7openalex-snapshot
A logical DES approach to the design of hybrid control systems
inferred← citeshttps://doi.org/10.1016/0921-8890(94)90025-6openalex-snapshot
Discrete Event Systems for autonomous mobile agents
inferred← citeshttps://doi.org/10.1016/b978-0-08-041711-0.50043-xopenalex-snapshot
DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY
inferred← citeshttps://doi.org/10.1016/b978-0-08-042367-8.50064-1openalex-snapshot
A PETRI NET-BASED APPROACH TO SYNTHESIS OF CONTROL SYSTEMS FOR DISCRETE EVENT DYNAMIC SYSTEMS
inferred← citeshttps://doi.org/10.1016/b978-0-12-821204-2.00050-7openalex-snapshot
Decentralized architectures for supervisory control of discrete event systems
inferred← citeshttps://doi.org/10.1016/b978-0-12-821204-2.00081-7openalex-snapshot
Supervisory control of discrete event systems under total and partial observation
inferred← citeshttps://doi.org/10.1016/j.apm.2006.10.023openalex-snapshot
FMS scheduling based on timed Petri Net model and reactive graph search
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2017.03.004openalex-snapshot
Synthesis and implementation of logic controllers – A review
inferred← citeshttps://doi.org/10.1016/j.artint.2012.12.001openalex-snapshot
Automatic behavior composition synthesis
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.2010.02.025openalex-snapshot
Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
inferred← citeshttps://doi.org/10.1016/j.automatica.2010.04.002openalex-snapshot
Multi-level hierarchical interface-based supervisory control
inferred← citeshttps://doi.org/10.1016/j.automatica.2011.06.024openalex-snapshot
String execution time for finite languages: Max is easy, min is hard
inferred← citeshttps://doi.org/10.1016/j.automatica.2012.04.004openalex-snapshot
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2018.06.004openalex-snapshot
What information really matters in supervisor reduction?
inferred← citeshttps://doi.org/10.1016/j.automatica.2019.06.012openalex-snapshot
On scalable supervisory control of multi-agent discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2021.109978openalex-snapshot
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110480openalex-snapshot
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
inferred← citeshttps://doi.org/10.1016/j.automatica.2023.111076openalex-snapshot
On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
inferred← citeshttps://doi.org/10.1016/j.automatica.2024.111879openalex-snapshot
Quantitatively nonblocking supervisory control of discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2006.10.013openalex-snapshot
Supervisory synthesis for product-driven automation and its application to a flexible assembly cell
inferred← citeshttps://doi.org/10.1016/j.conengprac.2009.03.006openalex-snapshot
Specification of a batch plant using process algebra and petri nets
inferred← citeshttps://doi.org/10.1016/j.conengprac.2009.05.004openalex-snapshot
The real-time supervisory control of an experimental manufacturing system based on a hybrid method
inferred← citeshttps://doi.org/10.1016/j.conengprac.2011.06.007openalex-snapshot
Generation of candidates' tree for the fault diagnosis of discrete event systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2023.105819openalex-snapshot
Assessment of Petri nets Regulation Control methodologies for automation systems
inferred← citeshttps://doi.org/10.1016/j.ejcon.2025.101266openalex-snapshot
Bounded-time nonblocking supervisory control of timed discrete-event systems
inferred← citeshttps://doi.org/10.1016/j.fss.2010.02.002openalex-snapshot
Reliable decentralized supervisory control of fuzzy discrete event systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.393openalex-snapshot
An Application of Incremental Scheduling to a Cluster Photolithography Tool
inferred← citeshttps://doi.org/10.1016/j.ifacol.2018.06.313openalex-snapshot
Supervisor Aware Service Composition Framework: An Implementation and Evaluation
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2541openalex-snapshot
A Reactive Synthesis Approach to Supervisory Control of Terminating Processes
inferred← citeshttps://doi.org/10.1016/j.ifacol.2020.12.2701openalex-snapshot
An Efficient Algorithm for the Computation of the Controllability Prefix of *-Languages
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.04.021openalex-snapshot
An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.332openalex-snapshot
Mutual Opacity between Multiple Adversaries
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.10.336openalex-snapshot
Abstraction Based Supervisory Control for Non-Regular -Languages∗
inferred← citeshttps://doi.org/10.1016/j.ins.2015.11.003openalex-snapshot
Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm
inferred← citeshttps://doi.org/10.1016/j.ins.2018.07.025openalex-snapshot
Supervisory control of state-tree structures with partial observation
inferred← citeshttps://doi.org/10.1016/j.ins.2026.123497openalex-snapshot
Verification and enforcement of k-step mutual opacity of networked 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.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.2005.11.009openalex-snapshot
Grid automata and supervisory control of dense real-time discrete event systems
inferred← citeshttps://doi.org/10.1016/j.procs.2017.05.134openalex-snapshot
Formal Approach to Control Design of Complex and Dynamical Systems
inferred← citeshttps://doi.org/10.1016/j.scico.2011.03.009openalex-snapshot
A generic framework for n -protocol compatibility checking
inferred← citeshttps://doi.org/10.1016/j.scico.2013.01.007openalex-snapshot
Concurrency control generation for dynamic threads using discrete-event 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.scico.2017.05.005openalex-snapshot
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
inferred← citeshttps://doi.org/10.1016/j.sysconle.2005.01.005openalex-snapshot
On computation of supremal controllable, normal sublanguages
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.05.034openalex-snapshot
Progressive solutions to a parallel automata equation
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(02)00266-2openalex-snapshot
Linear control of live marked graphs
inferred← citeshttps://doi.org/10.1016/s0005-1098(96)00103-3openalex-snapshot
Reduced-order controllers for continuous and discrete-time singular H∞ control problems based on LMI
inferred← citeshttps://doi.org/10.1016/s0005-1098(97)00089-7openalex-snapshot
Estimate based limited lookahead supervisory control for closed language specifications
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)00065-5openalex-snapshot
Pole structure assignment via non-regular static state feedback
inferred← citeshttps://doi.org/10.1016/s0005-1098(99)00084-9openalex-snapshot
On-line tracing supervisory control of discrete-event dynamic systems based on outlooking
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/s0169-7552(97)00070-6openalex-snapshot
Two formal methods for the synthesis of discrete event systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00335-7openalex-snapshot
New types of automata to solve fixed point problems
inferred← citeshttps://doi.org/10.1016/s0947-3580(04)70327-1openalex-snapshot
Discussion on: Supervisory Control of Discrete Event Systems with Flexible Marking
inferred← citeshttps://doi.org/10.1016/s0947-3580(04)70328-3openalex-snapshot
Discussion on: “Supervisory Control of Discrete Event Systems with Flexible Marking”
inferred← citeshttps://doi.org/10.1016/s0947-3580(97)70063-3openalex-snapshot
A Class of Non-Deterministic Specifications for 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)30716-4openalex-snapshot
Control Synthesis for Product-Driven Automation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30724-3openalex-snapshot
Maximally permissive mutually and globally nonblocking supervisors for discrete event systems
showing the first 200 of 716 · page through all 716
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.