scientific article; zbMATH DE number 6147924
From MaRDI portal
Publication:4909608
zbMath1274.93190MaRDI QIDQ4909608
Christoforos N. Hadjicostis, George C. Verghese
Publication date: 21 March 2013
Full work available at URL: http://www.kybernetika.cz/content/1999/1
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Error detection and correction in switched linear controllers via periodic and non-concurrent checks ⋮ Periodic and non-concurrent error detection and identification in one-hot encoded FSMs ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
Cites Work
- Analysis of the fault tolerance of complex systems by extensions of Petri nets
- Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
- Feedback control of Petri nets based on place invariants
- Deterministic weak-and-marked Petri net languages are regular
- Guaranteed level-γ ℋ ∞ control in uncertain linear systems via linear matrix inequalities
- An inclusion principle for dynamic systems
- Algorithm-Based Fault Tolerance for Matrix Operations
- Structural zeros in the modal matrix and its inverse
- Fast fault-tolerant digital convolution using a polynomial residue number system
- Decidability and closure properties of weak Petri net languages in supervisory control
- Optimal admission control of discrete event systems with real-time constraints
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: