Structured redundancy for fault tolerance in state-space models and Petri nets.

MaRDI QIDQ4909608zbMATH OpenFDO

Authors Christoforos N. Hadjicostis, George C. Verghese

Publication date 21 March 2013

Full work available at URL http://www.kybernetika.cz/content/1999/1

zbMATH Keywords

discrete event systemPetri netsstructured redundancy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)

Recommendations

• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• Coding approaches to fault tolerance in combinational and dynamic systems
• Fault detection based on parity checks in Petri net controller
• Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
• Toward a definition of fault analysis for Petri nets models

Cites work

• Algorithm-Based Fault Tolerance for Matrix Operations
• An inclusion principle for dynamic systems
• Analysis of the fault tolerance of complex systems by extensions of Petri nets
• Decidability and closure properties of weak Petri net languages in supervisory control
• Deterministic weak-and-marked Petri net languages are regular
• Fast fault-tolerant digital convolution using a polynomial residue number system
• Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
• Feedback control of Petri nets based on place invariants
• Guaranteed level-γ ℋ _∞ control in uncertain linear systems via linear matrix inequalities
• scientific article; zbMATH DE number 3981301 (Why is no real title available?)
• scientific article; zbMATH DE number 3718924 (Why is no real title available?)
• scientific article; zbMATH DE number 43706 (Why is no real title available?)
• scientific article; zbMATH DE number 46484 (Why is no real title available?)
• scientific article; zbMATH DE number 46872 (Why is no real title available?)
• scientific article; zbMATH DE number 3471923 (Why is no real title available?)
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 804579 (Why is no real title available?)
• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• Optimal admission control of discrete event systems with real-time constraints
• Structural zeros in the modal matrix and its inverse

Cited in

(5)

• Fault-tolerant computation in groups and semigroups: Applications to automata, dynamic systems and Petri nets
• Error detection and correction in switched linear controllers via periodic and non-concurrent checks
• Coding approaches to fault tolerance in combinational and dynamic systems
• Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
• Fault diagnosis for discrete event systems using partially observed Petri nets

This page was built for publication: Structured redundancy for fault tolerance in state-space models and Petri nets.

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