On the public citation graph

On condition/event systems with discrete state realizations

https://doi.org/10.1007/bf01805563
0 signed · 140 inferred · view as graph

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

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

What this work says

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

inferredcites →https://doi.org/10.1007/978-3-322-96657-5_5openalex-snapshot
Models for Dynamics
inferredcites →https://doi.org/10.1016/0898-1221(82)90047-5openalex-snapshot
Elements of the theory of computation
inferredcites →https://doi.org/10.1016/s0022-0000(74)80051-6openalex-snapshot
Theories of automata on ω-tapes: A simplified approach
inferredcites →https://doi.org/10.1016/s0079-8169(08)x6055-6openalex-snapshot
Automata, Languages, and Machines
inferredcites →https://doi.org/10.1016/s1474-6670(17)55311-2openalex-snapshot
Automatic Programming of Controllers for Discrete Manufacturing Processes
inferredcites →https://doi.org/10.1109/37.56284openalex-snapshot
Concurrency and discrete event control
inferredcites →https://doi.org/10.1109/5.21067openalex-snapshot
A GSMP formalism for discrete event systems
inferredcites →https://doi.org/10.1109/5.21072openalex-snapshot
The control of discrete event systems
inferredcites →https://doi.org/10.1109/9.8645openalex-snapshot
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
inferredcites →https://doi.org/10.1109/cdc.1987.272773openalex-snapshot
Control of discrete event processes with forced events
inferredcites →https://doi.org/10.1109/cdc.1989.70406openalex-snapshot
Asynchronous dynamical systems
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1137/0325066openalex-snapshot
Modular Feedback Logic for Discrete Event Systems
inferredcites →https://doi.org/10.1145/300307.1040360openalex-snapshot
Elements of the Theory of Computation

What points at this work

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

inferred← citeshttps://doi.org/10.1007/0-306-48638-5_10openalex-snapshot
Automatic Security Policy Management in Modern Networks
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_22openalex-snapshot
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_12openalex-snapshot
Using Parameterized Timestamp Petri Nets in Automatic Control
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_6openalex-snapshot
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics
inferred← citeshttps://doi.org/10.1007/3-540-61042-1_47openalex-snapshot
Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control
inferred← citeshttps://doi.org/10.1007/978-1-4471-0853-5_18openalex-snapshot
Verification of Logic Controllers for Continuous Plants
inferred← citeshttps://doi.org/10.1007/978-1-4615-4493-7_29openalex-snapshot
Verification of IL Programs with an Explicit Model of their PLC Execution
inferred← citeshttps://doi.org/10.1007/978-3-031-33620-1_2openalex-snapshot
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_17openalex-snapshot
Modelling and Control with Modules of Signal Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_16openalex-snapshot
A Guide to Modelling and Control with Modules of Signal Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-40903-8_16openalex-snapshot
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-79230-7_2openalex-snapshot
Controlling Petri Net Process Models
inferred← citeshttps://doi.org/10.1007/bf01797724openalex-snapshot
Augmented infinitesimal perturbation analysis: An alternate explanation
inferred← citeshttps://doi.org/10.1007/bfb0014716openalex-snapshot
Comparing timed c/e systems with timed automata (abstract)
inferred← citeshttps://doi.org/10.1007/bfb0020969openalex-snapshot
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems
inferred← citeshttps://doi.org/10.1007/bfb0027705openalex-snapshot
Modeling and analysis of switched-mode hybrid systems driven by threshold events
inferred← citeshttps://doi.org/10.1007/bfb0033541openalex-snapshot
Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus
inferred← citeshttps://doi.org/10.1007/s100090050006openalex-snapshot
Continuous modeling of real-time and hybrid systems: from concepts to tools
inferred← citeshttps://doi.org/10.1007/s10270-014-0448-7openalex-snapshot
An overview of model checking practices on verification of PLC software
inferred← citeshttps://doi.org/10.1007/s10626-005-4056-0openalex-snapshot
An Equivalent CTL Formulation for Condition Sequences
inferred← citeshttps://doi.org/10.1007/s40430-017-0893-7openalex-snapshot
Formal verification considering a systematic modeling approach for function blocks
inferred← citeshttps://doi.org/10.1016/0895-7177(96)00070-2openalex-snapshot
State feedback control of condition/event systems
inferred← citeshttps://doi.org/10.1016/j.conengprac.2006.02.001openalex-snapshot
Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation
inferred← citeshttps://doi.org/10.1016/j.conengprac.2006.02.003openalex-snapshot
Applying automated control synthesis methods to condition systems requiring state observers
inferred← citeshttps://doi.org/10.1016/j.ifacol.2017.08.2294openalex-snapshot
Feedforward and state-feedback control of deterministic I/O automata
inferred← citeshttps://doi.org/10.1016/j.matcom.2005.11.013openalex-snapshot
State observability and condition observability for a class of interacting discrete event systems
inferred← citeshttps://doi.org/10.1016/s0005-1098(98)00179-4openalex-snapshot
Verification of logic controllers for continuous plants using timed condition/event-system models
inferred← citeshttps://doi.org/10.1016/s0019-0578(07)60104-9openalex-snapshot
Supervisory control design based on hybrid systems and fuzzy events detection. Application to an oxichlorination reactor
inferred← citeshttps://doi.org/10.1016/s0019-0578(07)60140-2openalex-snapshot
Data flow modeling for batch and hybrid processes
inferred← citeshttps://doi.org/10.1016/s0378-4754(98)00076-7openalex-snapshot
Modelling and analysis of hybrid systems
inferred← citeshttps://doi.org/10.1016/s0928-4869(00)00020-3openalex-snapshot
Modular representation of complex hybrid systems: application to the simulation of batch processes
inferred← citeshttps://doi.org/10.1016/s0947-3580(97)70086-4openalex-snapshot
Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30722-xopenalex-snapshot
An equivalent LTL/Kripke structure for the condition sequence/condition system model
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30740-1openalex-snapshot
Modular supervision of hybrid systems: a DES approach
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)30779-6openalex-snapshot
Applying automated control synthesis methods to condition systems requiring state observers
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)34174-5openalex-snapshot
A Monitor Tool for CIM Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36132-3openalex-snapshot
Discrete Event Systems with Guards
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36432-7openalex-snapshot
ACPLT/HK - Infrastructure Model for Hybrid Components of Process Automation
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36716-2openalex-snapshot
Bringing the Model-Based Verification of Distributed Control Systems into the Engineering Practice
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36725-3openalex-snapshot
A Monitor Tool for Networked Factories
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)39568-xopenalex-snapshot
A Hybrid Meta Modelling Approach Suited for Process Supervision
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)43390-8openalex-snapshot
Automation of Geographically Distributed Production Processes Using Hierarchical Hybrid Controls
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49213-5openalex-snapshot
Boolean Condition/Event Systems: Computational Representation and Algorithms
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49215-9openalex-snapshot
Petri Nets and Grafcet for Specification of Logic Controllers
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56823-8openalex-snapshot
An open tool architecture for the formal verification of logic controllers in processing systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)56834-2openalex-snapshot
A modular and compositional approach to modeling and controller verification of manufacturing systems
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)58447-5openalex-snapshot
Verification of Sequential Controllers with Timing Functions for Chemical Processes
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)58460-8openalex-snapshot
A Modular Modelling, Controller Synthesis and Automatic Control Code Generation Framework
inferred← citeshttps://doi.org/10.1023/a:1008252325849openalex-snapshot
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/b:disc.0000039787.51382.afopenalex-snapshot
Qualitative Diagnosis of Condition Systems
inferred← citeshttps://doi.org/10.1080/00207179608921868openalex-snapshot
State-space supervisory control of reconfigurable discrete event systems
inferred← citeshttps://doi.org/10.1080/00207540802273645openalex-snapshot
Detection of unmodelled anomalous behaviours via localized controllers for condition systems
inferred← citeshttps://doi.org/10.1109/3477.875445openalex-snapshot
Supervisory control of Petri nets using routing functions: starvation avoidance issues
inferred← citeshttps://doi.org/10.1109/3477.875446openalex-snapshot
Automated synthesis and composition of taskblocks for control of manufacturing systems
inferred← citeshttps://doi.org/10.1109/87.388124openalex-snapshot
A reconfigurable hybrid system and its application to power plant control
inferred← citeshttps://doi.org/10.1109/87.406973openalex-snapshot
Grafcet: a powerful tool for specification of logic controllers
inferred← citeshttps://doi.org/10.1109/9.664159openalex-snapshot
Synthesis of supervisory controllers for hybrid systems based on approximating automata
inferred← citeshttps://doi.org/10.1109/acc.2007.4282380openalex-snapshot
Qualitative diagnosis of condition systems for multiple subsystem failures
inferred← citeshttps://doi.org/10.1109/cacsd.1999.808631openalex-snapshot
An environment for model-checking of logic control systems with hybrid dynamics
inferred← citeshttps://doi.org/10.1109/cdc.1992.371527openalex-snapshot
Logical analysis and control of time Petri nets
inferred← citeshttps://doi.org/10.1109/cdc.1994.411302openalex-snapshot
A reconfigurable hybrid supervisory system for process control
inferred← citeshttps://doi.org/10.1109/cdc.1995.478836openalex-snapshot
State-Space Supervision of Reconfigurable Discrete Event Systems
inferred← citeshttps://doi.org/10.1109/cdc.1995.480308openalex-snapshot
Synthesis of supervisory controllers for hybrid systems based on approximating automata
inferred← citeshttps://doi.org/10.1109/cdc.1996.574274openalex-snapshot
Modular hierarchical models of hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.1996.574275openalex-snapshot
Computing exact automaton representations for a class of hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.1998.761811openalex-snapshot
Elaborative orderings of condition languages
inferred← citeshttps://doi.org/10.1109/cdc.1999.830289openalex-snapshot
Assembling taskblocks for control of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2000.912799openalex-snapshot
Model aggregation for hierarchical control synthesis of discrete event systems
inferred← citeshttps://doi.org/10.1109/cdc.2004.1428806openalex-snapshot
On the existence of optimal solutions for the modular supervisory control of hybrid systems
inferred← citeshttps://doi.org/10.1109/cdc.2005.1582635openalex-snapshot
A fault detection scheme using condition systems
inferred← citeshttps://doi.org/10.1109/cimat.1994.389079openalex-snapshot
Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications
inferred← citeshttps://doi.org/10.1109/coase.2005.1506779openalex-snapshot
Simplified modeling of manufacturing systems - an introduction to sensor activation graphs
inferred← citeshttps://doi.org/10.1109/coase.2006.326918openalex-snapshot
Semantics of Sensor Activation Graphs
inferred← citeshttps://doi.org/10.1109/coase.2009.5234187openalex-snapshot
Formal verification of PLC controlled systems using Sensor Graphs
inferred← citeshttps://doi.org/10.1109/etfa.1995.496811openalex-snapshot
Net condition/event systems with multiple condition outputs
inferred← citeshttps://doi.org/10.1109/etfa.1996.573317openalex-snapshot
Synthesis of forcing/locking controllers based on net condition/event systems
inferred← citeshttps://doi.org/10.1109/etfa.1997.616278openalex-snapshot
Analysis of signal/event nets
inferred← citeshttps://doi.org/10.1109/etfa.1997.616302openalex-snapshot
Modeling of PLC behavior by means of timed net condition/event systems
inferred← citeshttps://doi.org/10.1109/etfa.1997.616330openalex-snapshot
Synthesis of locking controllers based on extended net condition event systems
inferred← citeshttps://doi.org/10.1109/etfa.2001.997716openalex-snapshot
Fault treatment with net condition/event systems: a first approach
inferred← citeshttps://doi.org/10.1109/etfa.2005.1612508openalex-snapshot
Formal models for the verification of IEC 61499 function block based control applications
inferred← citeshttps://doi.org/10.1109/etfa.2006.355210openalex-snapshot
Exploiting causal structure in the refined diagnosis of condition systems
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489678openalex-snapshot
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
inferred← citeshttps://doi.org/10.1109/etfa.2012.6489681openalex-snapshot
Hierarchical and distributed discrete event control of manufacturing processes
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538253openalex-snapshot
Synthesis of supervisory controllers based on a novel representation of condition/event systems
inferred← citeshttps://doi.org/10.1109/icsmc.1995.538499openalex-snapshot
Model-based programming and diagnosis for programmable logical controllers
inferred← citeshttps://doi.org/10.1109/icsmc.1997.635396openalex-snapshot
Transformations between different model forms in discrete event systems
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725375openalex-snapshot
Verification and validation of control algorithms by coupling of interpreted Petri nets
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725395openalex-snapshot
Timestamp nets in technical applications
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725493openalex-snapshot
A modular plant modeling technique and related controller synthesis problems
inferred← citeshttps://doi.org/10.1109/icsmc.1998.725503openalex-snapshot
Task blocks for synthesis of controllers for condition systems
inferred← citeshttps://doi.org/10.1109/icsmc.2000.884356openalex-snapshot
Formal methods in PLC programming
inferred← citeshttps://doi.org/10.1109/icsmc.2001.969925openalex-snapshot
Application of visual specifications for verification of distributed controllers
inferred← citeshttps://doi.org/10.1109/iecon.2011.6119923openalex-snapshot
Closed-loop formal verification framework with non-determinism, configurable by meta-modelling
inferred← citeshttps://doi.org/10.1109/isic.1993.397717openalex-snapshot
Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems
inferred← citeshttps://doi.org/10.1109/isic.1994.367831openalex-snapshot
Permissive control of Boolean condition/event systems: Synthesis and limits
inferred← citeshttps://doi.org/10.1109/isie.1998.711686openalex-snapshot
On the mutual dependency of safety controllers and procedural controllers
inferred← citeshttps://doi.org/10.1109/isie.2002.1026065openalex-snapshot
Model-based generation of modular PLC code using IEC61131 function blocks
inferred← citeshttps://doi.org/10.1109/isie.2002.1026074openalex-snapshot
An approach for hybrid simulation of batch processes
inferred← citeshttps://doi.org/10.1109/ojies.2023.3335976openalex-snapshot
Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow
inferred← citeshttps://doi.org/10.1109/robot.2001.932530openalex-snapshot
Developing software controllers with Petri nets and a logic of actions
inferred← citeshttps://doi.org/10.1109/ssst.2003.1194551openalex-snapshot
Embedded microcontroller implementation of a class of condition systems
inferred← citeshttps://doi.org/10.1109/tase.2006.880857openalex-snapshot
Event-Condition-Action Systems for Reconfigurable Logic Control
inferred← citeshttps://doi.org/10.1109/tcst.2011.2168607openalex-snapshot
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
inferred← citeshttps://doi.org/10.1109/wodes.2006.1678405openalex-snapshot
Exploded Time Plants for Observer and Control Synthesis of Timed Condition Systems
inferred← citeshttps://doi.org/10.1109/wodes.2006.382508openalex-snapshot
A generic approach to build plant models for DES verification purposes
inferred← citeshttps://doi.org/10.1109/wodes.2006.382524openalex-snapshot
Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems.
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637982openalex-snapshot
VERDICT-a tool for model-based verification of real-time logic process controllers
inferred← citeshttps://doi.org/10.1109/wpdrts.1997.637983openalex-snapshot
Combining a computer science and control theory approach to the verification of hybrid systems
inferred← citeshttps://doi.org/10.1142/s0218194005001999openalex-snapshot
COMBINING MODELICA MODELS WITH DISCRETE EVENT FORMALISMS FOR SIMULATION USING THE DES/M ENVIRONMENT
inferred← citeshttps://doi.org/10.12694/scpe.v1i2.80openalex-snapshot
Integrating timed condition/event systems and timed automata for the verification of hybrid systems
inferred← citeshttps://doi.org/10.1504/ijmtm.2006.008802openalex-snapshot
Formal validation of intelligent-automated production systems: towards industrial applications
inferred← citeshttps://doi.org/10.1524/auto.2001.49.2.52openalex-snapshot
Technical Application of Hybrid Modeling Methods to specify Function Block Systems
inferred← citeshttps://doi.org/10.23919/ecc.1999.7099297openalex-snapshot
Monitoring and debugging in networked factories
inferred← citeshttps://doi.org/10.3166/ejc.7.400-415openalex-snapshot
Verifying Untimed and Timed Aspects of the Experimental Batch Plant
inferred← citeshttps://doi.org/10.3182/20050703-6-cz-1902.01447openalex-snapshot
FAULT RECOVERING TASKBLOCKS AND CONTROL SYNTHESIS FOR A CLASS OF CONDITION SYSTEMS
inferred← citeshttps://doi.org/10.3182/20080706-5-kr-1001.00092openalex-snapshot
Modeling of asynchronous discrete-event systems as networks of input-output automata
inferred← citeshttps://doi.org/10.3182/20090603-3-ru-2001.00239openalex-snapshot
Alternative Models of Synthesized Programs for Executing Condition System Controllers
inferred← citeshttps://doi.org/10.3182/20100830-3-de-4013.00054openalex-snapshot
Rotary-Wing UAV Mission Planning Aided by Supervisory Control
inferred← citeshttps://doi.org/10.3233/fi-2000-41403openalex-snapshot
A Signal Extension for Petri Nets and its Use in Controller Design
inferred← citeshttps://doi.org/10.3233/ica-2002-9306openalex-snapshot
A reconfigurable concurrent function block model and its implementation in real-time Java
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.389.550openalex-snapshot
Fault Diagnosis and Prognostic Methods Based on Hybrid System Theory for MEHI Systems in Aircraft
inferred← citeshttps://doi.org/10.70675/8edfc5eczaebaz4785z8490z3172aebe5066openalex-snapshot
Vérification formelle et Simulation pour la Validation du système de contrôle commande des EALE (Équipements d'Alimentation des Lignes Électrifiées)
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.