State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions

DOI10.1007/s10626-005-5239-4zbMath1071.93028OpenAlexW2095500442MaRDI QIDQ1773100

Carla Seatzu, Alessandro Giua, Daniele Corona

Publication date: 25 April 2005

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-005-5239-4

zbMATH Keywords

observerPetri netslabeled netsmarking estimation

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Observer synthesis for linear hybrid systems with constrained discrete dynamics ⋮ Model approximation for batch flow shop scheduling with fixed batch sizes ⋮ Real time identification of discrete event systems using Petri nets ⋮ Hybrid state feedback stabilization withl₂performance for discrete-time switched linear systems ⋮ Identification of Petri nets from knowledge of their language ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions ⋮ State estimation of max-plus automata with unobservable events ⋮ On-line monitoring of large Petri net models under partial observation

Cites Work

• Unnamed Item
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• Petri net languages and infinite subsets of \(\mathbb{N}^m\)
• Observability of discrete event dynamic systems
• Observability of place/transition nets
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems

This page was built for publication: State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions