Logical models of discrete even systems: a comparative exposition

DOI10.1007/BF02745366MaRDI QIDQ5955794zbMATH OpenFDO

Authors Amit Patra, Siddhartha Mukhopadhyay, Supratik Bose

Publication date 18 February 2002

Published in Sādhanā (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02745366

zbMATH Keywords

continuous variable systemsdiscrete event systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Discrete event control/observation systems (93C65)

Recommendations

• scientific article; zbMATH DE number 4200091
• A Multiview Approach to Modeling and Analysis of Discrete Event Systems
• Introduction to Discrete Event Systems
• On the generality of event-graph models
• Modeling of discrete event systems: a holistic and incremental approach using Petri nets

Cites work

• A framework for real-time discrete event control
• A nondeterministic extension over finitely recursive process model
• A Proof System for Communicating Sequential Processes
• Aggregation and multi-level control in discrete event dynamic systems
• An axiomatic basis for computer programming
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Boundedness analysis of finitely recursive processes. I. Concurrent processes
• Control of discrete event systems modeled as hierarchical state machines
• Control of large scale discrete event systems: task allocation and coordination
• Control problems in a temporal logic framework
• Deadlock absence proofs for networks of communicating processes
• Deadlock analysis in networks of communicating processes
• Decentralized control and coordination of discrete-event systems with partial observation
• Decentralized supervisory control of discrete-event systems
• Decidability for a temporal logic used in discrete-event system analysis
• Diagnosability of discrete-event systems
• Equivalence preserving transformations for timed transition models
• Feedback logic for discrete event systems with arbitrary control patterns
• Finite buffer realization of input-output discrete-event systems
• Finitely recursive process models for discrete event systems
• Formulas for calculating supremal controllable and normal sublanguages
• Fully decentralized solutions of supervisory control problems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Invertibility of discrete-event dynamic systems
• Language Stability and Stabilizability of Discrete Event Dynamical Systems
• Limited lookahead policies in supervisory control of discrete event systems
• Modular Feedback Logic for Discrete Event Systems
• Modular supervisory control of discrete-event systems
• Observability of discrete event dynamic systems
• On controllability and normality of discrete event dynamical systems
• On nonconflicting languages that arise in supervisory control of discrete event systems
• On observability of discrete-event systems
• On observability with delay: antitheses and syntheses
• On the consistency of hierarchical supervision in discrete-event systems
• On the control of discrete-event dynamical systems
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
• Output stabilizability of discrete-event dynamic systems
• Petri net synthesis and analysis of a flexible manufacturing system cell
• Petri nets for modeling of dynamic systems -- a survey
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Stability and stabilizability of discrete event dynamic systems
• Stabilization of discrete-event processes
• Static-state feedback control of discrete-event systems under partial observation
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of concurrent discrete-event systems
• Supervisory control of discrete-event processes with partial observations
• Synthesis of feedback control logic for a class of controlled Petri nets
• The computational complexity of decentralized discrete-event control problems
• The infimal closed controllable superlanguage and its application in supervisory control
• The infimal prefix-closed and observable superlanguage of a given language
• Think globally, act locally: decentralized supervisory control
• Tracking and Restrictability in Discrete Event Dynamic Systems
• Undecidability results for deterministic communicating sequential processes

Cited in

(1)

• On the generality of event-graph models

This page was built for publication: Logical models of discrete even systems: a comparative exposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5955794)