Diagnosis and Fault-Adaptive Control for Mechatronic Systems using Hybrid Constraint Automata



Published Mar 26, 2021
Paul Maier Martin Sachenbacher


Many of today’s mechatronic systems – such as automobiles, automated factories or chemical plants – are a complex mixture of hardware components and embedded control software, showing both continuous (vehicle dynamics, robot motion) and discrete (software) behavior. The problems of estimating the internal discrete/continuous state and automatically devising control actions as intelligent reaction are at the heart of self-monitoring and self-control capabilities for such systems. In this paper, we address these problems with a new integrated approach, which combines concepts, techniques and for- malisms from AI (constraint optimization, hid- den markov model reasoning), fault diagnosis in hybrid systems (stochastic abstraction of continuous behavior), and hybrid systems verification (hybrid automata, reachability analysis). Prelimi- nary experiments with an industrial filling station scenario show promising results, but also indicate current limitations.

How to Cite

Maier, P., & Sachenbacher, M. (2021). Diagnosis and Fault-Adaptive Control for Mechatronic Systems using Hybrid Constraint Automata. Annual Conference of the PHM Society, 1(1). Retrieved from https://papers.phmsociety.org/index.php/phmconf/article/view/1502
Abstract 7 | PDF Downloads 2



diagnosis, fault-tolerant control, hybrid modeling

(Alur et al., 2006) Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky. Compositional modeling and refinement for hierarchical hybrid systems. Journal of Logic and Algebraic Programming, 68(1-2):105–128, 2006.
(Bagnara et al., 2002) R. Bagnara, E. Ricci, E. Zaf- fanella, and P. M. Hill. Possibly not closed con- vex polyhedra and the Parma Polyhedra Library. Quaderno 286, Dipartimento di Matematica, Uni- versità di Parma, Italy, 2002.
(Benedetti et al., 2008) Marco Benedetti, Arnaud Lallouet, and Jérémie Vautard. Quantified con- straint optimization. In Proc. CP-2008, LNCS, pages 463–477, Sydney, Australia, September 2008. Springer.
(Bernadsky et al., 2004) Mikhail Bernadsky, Raman Sharykin, and Rajeev Alur. Structured modeling of concurrent stochastic hybrid systems. In Proc. FORMATS/FTRFT-2004, pages 309–324, 2004.
(Blanke et al., 2006) Mogens Blanke, Michel Kin- naert, Jan Lunze, Marcel Staroswiecki, and Jochen Schröder. Diagnosis and Fault Tolerant Control, chapter Chapter 9, Diagnosis and Reconfiguration of Quantized Systems, pages 447–504. Springer Verlag, 2nd edition, 2006.
(Bouveret et al., 2004) S. Bouveret, F. Heras, S.de Givry, J. Larrosa, M. Sanchez, and T. Schiex. Toolbar: a state-of-the-art platform for wcsp. http://www.inra.fr/mia/T/degivry/ToolBar.pdf, 2004.
(Büeler et al., 2000) Benno Büeler, Andreas Enge, and Komei Fukuda. Polytopes — Combinatorics and computation, chapter Exact volume computation for polytopes: a practical study, pages 131– 154. Number 29 in DMV Seminar. Birkhäuser, 2000.
(Buss et al., 2007) Martin Buss, Michael Beetz, and Dirk Wollherr. CoTeSys - Cognition for Technical Systems. In Proc. COE Workshop on Human Adap- tive Mechatronics (HAM), 2007.
(de Kleer et al., 2009) J. de Kleer, L. Kuhn, J.J. Liu, R. Price, M. B. Do, and R. Zhou. Continuously Estimating Persistent and Intermittent Failure Probabilities. In Proc. SAFE Process 2009, Barcelona, Spain, June 2009.
(Dechter, 2003) Rina Dechter. Constraint processing, chapter 13. Morgan Kaufmann Publishers, San Francisco, CA 94104-3205, 2003.
(Dominka, 2007) Sierke Dominka. Hybride inbe- triebnahme von produktionsanlagen — Von der virtuellen zur realen inbetriebnahme. PhD thesis, Technische Universität München, 2007.
(Frehse, 2005) Goran Frehse. Phaver: algorithmic verification of hybrid systems past hytech. In Proc. HSCC-05, pages 258–273, 2005.
(Henzinger, 1996) Thomas Henzinger. The theory of hybrid automata. In Proc. LICS-1996, pages 278– 292, New Brunswick, New Jersey, 1996.
(Hofbaur and Rienmüller, 2008) Michael W. Hofbaur and Theresa Rienmüller. Qualitative Abstraction of Piecewise Affine Systems. In Proc. QR-08 Work- shop, 2008.
(Hofbaur and Williams, 2002) Michael W. Hofbaur and Brian C. Williams. Mode estimation of proba- bilistic hybrid systems. In In HSCC-02, pages 253– 266, Stanford, California, USA, 2002. Springer Verlag.
(Kleissl and Hofbaur, 2005) Wolfgang Kleissl and Michael Hofbaur. A Qualitative Model for Hybrid Control. In Proc. QR-05 Workshop, volume 19, pages 8–16, Graz, Austria, May 2005.
(Lunze and Nixdorf, 2001) Jan Lunze and Bernhard Nixdorf. Representation of hybrid systems by means of stochastic automata. Mathematical and Computer Modelling of Dynamical Systems, 7:383– 422, December 2001.
(M. Althoff et al., 2007) M. Althoff, O. Stursberg, and M. Buss. Online Verification of Cognitive Car Decisions. In IEEE Intelligent Vehicles Symposium, 2007.
(Mikaelian et al., 2005) Tsoline Mikaelian, Brian C. Williams, and Martin Sachenbacher. Model- based Monitoring and Diagnosis of Systems with Software-Extended Behavior. In Proc. AAAI-05, 2005.
(Pedro Meseguer et al., 2006) Pedro Meseguer, Francesca Rossi, and Thomas Schiex. Handbook of constraint programming, chapter 9. Soft Constraints. Elsevier, 2006.
(Sachenbacher and Williams, 2004) Martin Sachen- bacher and Brian Williams. Diagnosis as semiring- based constraint optimization. In Proceedings of the European Conference on Artificial Intelligence (ECAI-04), Valencia, Spain, 2004.
(Schiex et al., 1995) Thomas Schiex, Hélène Fargier, and Gerard Verfaillie. Valued constraint satisfaction problems: hard and easy problems. In Proc. IJCAI- 1995, 1995.
(Williams et al., 2001) Brian C. Williams, Seung Chung, and Vineet Gupta. Mode estimation of model-based programs: monitoring systems with complex behavior. In Proc. IJCAI-01, pages 579– 590, 2001.
(Williams et al., 2003) Brian C. Williams, Michel In- gham, Seung H. Chung, and Paul H. Elliott. Model- based programming of intelligent embedded systems and robotic space explorers. Proceedings of the IEEE: Special Issue on Modeling and Design of Embedded Software, 91(1):212–237, 2003.
Technical Papers