Abstract
State estimation is a key requirement for a number of different tasks that arise during the operation, monitoring, and control of a given discrete event system (DES). These tasks include fault diagnosis and event inference, which are directly related to state estimation, as well as supervisory control and optimization/scheduling problems, which are indirectly related to state estimation. This chapter discusses state estimation in DES that are modeled as finite automata with outputs, including the well-studied case of labeled finite automata. In particular, recursive algorithms are described and analyzed for the cases of current-state estimation, delayed-state estimation (smoothing), and initial-state estimation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Basile F, Cabasino MP, Seatzu C (2014) State estimation and fault diagnosis of labeled time Petri net systems with unobservable transitions. IEEE Trans Autom Control 60(4):997–1009
Bonhomme P (2014) Marking estimation of P-time Petri nets with unobservable transitions. IEEE Trans Syst Man Cybern Syst 45(3):508–518
Brémaud P (2013) Markov chains: Gibbs fields, Monte Carlo simulation, and queues, vol 31. Springer Science & Business Media
Caines PE, Greiner R, Wang S (1991) Classical and logic-based dynamic observers for finite automata. IMA J Math Control Inf 8(1):45–80
Declerck P, Bonhomme P (2013) State estimation of timed labeled Petri nets with unobservable transitions. IEEE Trans Autom Sci Eng 11(1):103–110
Elliott RJ, Aggoun L, Moore JB (2008) Hidden Markov models: estimation and control, vol 29. Springer Science & Business Media
Frank PM (1990) Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy: a survey and some new results. Automatica 26(3):459–474
Giua A (1997) Petri net state estimators based on event observation. In: Proceedings of 36th IEEE conference on decision and control (CDC), vol 4, pp 4086–4091
Giua A (2011) State estimation and fault detection using Petri nets. In: Proceedings of international conference on application and theory of Petri nets and concurrency, pp 38–48
Giua A, Seatzu C (2002) Observability of place/transition nets. IEEE Trans Autom Control 47(9):1424–1437
Giua A, Corona D, Seatzu C (2005) State estimation of \(\lambda \)-free labeled Petri nets with contact-free nondeterministic transitions. Discrete Event Dyn Syst 15(1):85–108
Giua A, Seatzu C, Corona D (2007) Marking estimation of Petri nets with silent transitions. IEEE Trans Autom Control 52(9):1695–1699
Hashtrudi Zad S, Kwong R, Wonham W (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199–1212
Jiroveanu G, Boel RK, Bordbar B (2008) On-line monitoring of large Petri net models under partial observation. Discrete Event Dyn Syst 18(3):323–354
Kailath T (1981) Lectures on Wiener and Kalman filtering. In: Lectures on Wiener and Kalman filtering. Springer, pp 1–143
Kumar PR, Varaiya P (2015) Stochastic systems: estimation, identification, and adaptive control, vol 75. SIAM
Li L, Hadjicostis CN (2010) Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions. IEEE Trans Autom Sci Eng 8(2):394–403
Li L, Hadjicostis CN (2012) Minimum initial marking estimation in labeled Petri nets. IEEE Trans Autom Control 58(1):198–203
Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173–198
Luenberger DG (1964) Observing the state of a linear system. IEEE Trans Mil Electron 8(2):74–80
Meyn SP, Tweedie RL (2012) Markov chains and stochastic stability. Springer Science & Business Media
Moody JO, Antsaklis PJ (1997) Supervisory control using computationally efficient linear techniques: a tutorial introduction. In: Proceedings of 5th IEEE mediterranean conference on control and systems (MED)
Moody JO, Antsaklis PJ (1998) Supervisory control of discrete event systems using Petri nets. Springer Science & Business Media
Özveren CM, Willsky AS (1990) Observability of discrete event dynamic systems. IEEE Trans Autom Control 35(7):797–806
Özveren CM, Willsky AS (1992) Invertibility of discrete-event dynamic systems. Math Control Signals Syst 5(4):365–390
Rabiner LR (1989) A tutorial on Hidden Markov Models and selected applications in speech recognition. Proc IEEE 77(2):257–286
Rabiner LR, Juang BH (1986) An introduction to Hidden Markov Models. IEEE ASSP Mag 3(1):4–16
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–97
Ru Y, Hadjicostis CN (2009) Bounds on the number of markings consistent with label observations in Petri nets. IEEE Trans Autom Sci Eng 6(2):334–344
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. IEEE Trans Autom Control 40(9):1555–1575
Simon D (2006) Optimal state estimation: Kalman, H infinity, and nonlinear approaches. Wiley
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Hadjicostis, C.N. (2020). State Estimation. In: Estimation and Inference in Discrete Event Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-30821-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-30821-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30820-9
Online ISBN: 978-3-030-30821-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)