NDLI: Fault model identification with Petri nets

Please wait, while we are loading the content...

2008 9th International Workshop on Discrete Event Systems

On control and cyber-physical systems: Challenges and opportunities for discrete event and hybrid systems

Covering-based supervisory control of partially observed discrete event systems for state avoidance

Coordination control of discrete-event systems

Yet another approach to compositional synthesis of discrete event systems

Supervisory control of DES with distinguishing sensors

Opacity enforcing control synthesis

Max-plus algebra and max-plus linear discrete event systems: An introduction

Performance analysis of linear systems over semiring with additive inputs

A fast approximation algorithm for the Lyapunov exponent of stochastic max-plus systems

Control of (max,+) automata: Logical and timing aspects

SAT-solving in practice

Beyond Boolean SAT: Satisfiability modulo theories

Practical applications of Boolean Satisfiability

Supervisory control using satisfiability solvers

IPA for flow-control fluid queues with delays

Stochastic optimization for control of maintenance systems

Perturbation analysis of Markov chains

Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements

Performance analysis of χ models using discrete-time probabilistic reward graphs

STSLib and its application to two benchmarks

libFAUDES — An open source C++ library for discrete event systems

Solving two supervisory control benchmark problems using Supremica

Performing fault diagnosis for PNs using g-markings: A benchmark case

A comparison between two diagnostic tools based on automata and Petri nets

Scalable optimization algorithms for discrete event systems with real-time constraints: An overview of recent developments

Optimal timing control of interconnected, switched systems with applications to robotic marionettes

IPA for delay threshold violation using stochastic fluid models

An improvement of policy gradient estimation algorithms

Monte-Carlo-based partially observable Markov decision process approximations for adaptive sensing

Asynchronous implementation of synchronous discrete event control

Algebraic synthesis of transition conditions of a state model

Extraction and representation of a supervisor using guards in extended finite automata

Reactive control system design using the Supervisory Control Theory: Evaluation of possibilities and limits

Safety and transition-structure preserving abstraction of hybrid systems with inputs/outputs

Fault diagnosis with dynamic observers

A topological perspective on diagnosis

State identification problems for input/output transition systems

State feedback stabilization of single-input min-max-plus systems

Generalised eigenproblem in max-algebra

Randomly switching max-plus linear systems and equivalent classes of discrete event systems

Dioid of formal power series for the determination of performance parameters of communication networks

Supervision of an industrial plant subject to a maximal duration constraint

Model checking embedded and real time systems

Modeling systems biology from the point of view of discrete and hybrid systems

Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and Petri nets

From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells

Membrane systems in systems biology

Discreteness, hybrid automata, and biology

The application of supervisory control to deadlock avoidance in concurrent software

Properties of continuous Petri nets controlled via model predictive control

Adaptive Petri Nets implementation. The execution time controller

Modelling automation systems by UML and Petri Nets

Synthesis of controllers using symbolic reachability graphs

The Use of language projection for compositional verification of discrete event systems

Verification of initial-state opacity in security applications of DES

Building effective formal models to prove time properties of networked automation systems

Generalised nonblocking

Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Discrete event control of an unmanned aircraft

Velocity balancing in flexible manufacturing systems

Decentralized motion-coordination policy for cooperative mobile robots

Sufficient conditions for diagnosability of Petri nets

Decentralized prognosis of failures in discrete event systems

On time diagnosis of discrete event systems

Decentralized modular diagnosis of concurrent discrete event systems

Classification of keystroke dynamics - a case study of fuzzified discrete event handling

Enhancing hybrid state Petri nets with the analysis power of stochastic hybrid processes

Deriving Kripke structures from time series segmentation results

Supervisor synthesis based on abstractions of nondeterministic automata

Communication of distributed discrete-event supervisors on a switched network

Relations between networks of standard automata and networks of I/O automata

Digital manufacturing: The nexus of the real-time information enterprise and the digital factory using of flexible reconfigurable equipment

Fault diagnosis and identification of discrete event systems using Petri nets

Online diagnosis of discrete event systems based on Petri nets

Fault diagnosis in discrete event systems modeled by Petri nets with outputs

On-line identification of Petri Nets with unobservable transitions

Fault model identification with Petri nets

On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems

New results on the nonconflict test of modular supervisors

Controller synthesis for an I/O-Based hierarchical system architecture

Multi-decision decentralized control of discrete event systems : Application to the C&P architecture

Asymptotic minimal communication for decentralized discrete-event control

Book of abstracts

Proceedings 9th international workshop on discrete event systems WODES' 08

Institutional support and corporate sponsors

WODES’ 08 9th international workshop on discrete event systems

Members of the scientific Program Committee

2006 8th International Workshop on Discrete Event Systems

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.

Fault model identification with Petri nets

Content Provider	IEEE Xplore Digital Library
Author	Cabasino, M.P. Giua, A. Hadjicostis, C.N. Seatzu, C.
Copyright Year	2008
Description	Author affiliation: Dept. of Electr. & Electron. Eng., Univ. of Cagliari, Cagliari (Cabasino, M.P.; Giua, A.)
Abstract	Most of the fault identification problems in the discrete event systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with this problem within the framework of Petri nets by removing the requirement that the nature (and behavior) of the fault is known. In particular, we devise a way to identify the structure of the faulty transitions of the system given its language. Then, we generalize this procedure to unobservable faults, in which case the structure of the faulty system needs to be recognized from the knowledge of the structure of the fault-free system, and the projection of the faulty system language on the set of non-faulty events, that are assumed to be observable.
Starting Page	455
Ending Page	461
File Size	223058
Page Count	7
File Format	PDF
ISBN	9781424425921
DOI	10.1109/WODES.2008.4605989
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-05-28
Publisher Place	Sweden
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Conferences Discrete event systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in