{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T19:02:32Z","timestamp":1774983752416,"version":"3.50.1"},"reference-count":137,"publisher":"Emerald","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11,24]]},"abstract":"<jats:p>Hybrid systems, i.e., heterogeneous systems that include discrete and continuous time subsystems, have been used to model applications in automotive such as engine, brake, and stability control, as well as air traffic control and manufacturing plant control. Because of their generality (they include as special cases continuous and discrete systems), deriving rigorous controller synthesis procedures is difficult. The most effective hybrid control algorithms are based on full state feedback. However, in the majority of cases, only partial information about the internal state of the hybrid plant can be measured. Observability and detectability are concepts of fundamental importance that establish the conditions for reconstruction of the state of a system and have been thoroughly investigated in the continuous and discrete domain but not as systematically for hybrid systems.<\/jats:p>\n                  <jats:p>Hybrid systems' observability involves both the discrete structure and the continuous dynamics of the system. A hybrid system is said to be observable when it is possible to reconstruct the discrete as well as the continuous state of the system from the observed output information.<\/jats:p>\n                  <jats:p>This paper reviews and places in context how the continuous and the discrete dynamics, as well as their interactions, intervene in the observability property of a quite general class of hybrid systems: linear hybrid systems called H-systems. Our specific objective is to show how the hybrid characteristics of the system come into play and give rise to particular aspects and properties that do not simply generalize the ones that are well-known for traditional dynamical systems. This paper intends to provide a tutorial approach to hybrid systems observability in its various forms to students in control and its application as well as to practitioners in the field.<\/jats:p>","DOI":"10.1561\/2600000009","type":"journal-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T10:22:31Z","timestamp":1479982951000},"page":"363-540","source":"Crossref","is-referenced-by-count":21,"title":["Observability of Hybrid Dynamical Systems"],"prefix":"10.1561","volume":"3","author":[{"given":"Elena","family":"De Santis","sequence":"first","affiliation":[{"name":"University of L\u2019Aquila DISIM - Department of Information Engineering, Computer Science and Mathematics Center of Excellence DEWS , 67100 L\u2019Aquila ( )","place":["Italy"]}]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[{"name":"University of L\u2019Aquila DISIM - Department of Information Engineering, Computer Science and Mathematics Center of Excellence DEWS , 67100 L\u2019quila ( )","place":["Italy"]}]}],"member":"140","published-online":{"date-parts":[[2016,11,24]]},"reference":[{"issue":"1","key":"2026033114223563400_ref001","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/TAC.1970.1099359","article-title":"On state estimation in switching environnements","volume":"15","author":"Ackerson","year":"1970","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114223563400_ref002","first-page":"2516","article-title":"Switching observers for continuous-time and discrete-time linear systems","author":"Alessandri","year":"2001"},{"key":"2026033114223563400_ref003","first-page":"5321","author":"Alessandri","year":"2013"},{"issue":"2","key":"2026033114223563400_ref004","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","article-title":"Discrete abstractions of hybrid systems","volume":"88","author":"Alur","year":"2000","journal-title":"Proccedings of the IEEE"},{"key":"2026033114223563400_ref005","first-page":"48","volume-title":"Hybrid Systems: Computation and Control 2004, Lecture Notes in Computer Science","author":"Babaali","year":"2004"},{"key":"2026033114223563400_ref006","first-page":"103","volume-title":"Hybrid Systems: Computation and Control 2005","author":"Babaali","year":"2005"},{"key":"2026033114223563400_ref007","doi-asserted-by":"crossref","first-page":"1442","DOI":"10.1016\/j.automatica.2007.01.006","article-title":"Active mode observability of switching linear systems","volume":"43","author":"Baglietto","year":"2007","journal-title":"Automatica"},{"issue":"14","key":"2026033114223563400_ref008","doi-asserted-by":"crossref","first-page":"1521","DOI":"10.1002\/rnc.1375","article-title":"Active mode observation of switching systems based on set-valued estimation of the continuous state","volume":"19","author":"Baglietto","year":"2009","journal-title":"Int. J. Robust Nonlin. Control"},{"key":"2026033114223563400_ref009","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.sysconle.2012.10.007","article-title":"Stabilization and tracking for switching linear systems under unknown switching sequences","volume":"62","author":"Baglietto","year":"2013","journal-title":"Systems & Control Letters"},{"key":"2026033114223563400_ref010","doi-asserted-by":"crossref","first-page":"2358","DOI":"10.1016\/j.automatica.2014.07.018","article-title":"Discerning controllers for switching linear systems: existence and genericity","volume":"50","author":"Baglietto","year":"2014","journal-title":"Automatica"},{"key":"2026033114223563400_ref011","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.sysconle.2014.05.006","article-title":"Mode-observability degree in discretetime switching linear systems","volume":"70","author":"Baglietto","year":"2014","journal-title":"Systems & Control Letters"},{"issue":"4","key":"2026033114223563400_ref012","doi-asserted-by":"crossref","first-page":"1014","DOI":"10.1109\/TAC.2013.2283132","article-title":"Distinguishability of discrete-time nonlinear systems","volume":"59","author":"Baglietto","year":"2014","journal-title":"IEEE Trans. Automatic Control"},{"key":"2026033114223563400_ref013","article-title":"Automotive engine control and hybrid systems: Challenges and opportunities","volume":"7","author":"Balluchi","year":"2000","journal-title":"Proceedings of the IEEE Systems"},{"key":"2026033114223563400_ref014","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-45873-5_9","volume-title":"Hybrid Systems: Computation and Control","author":"Balluchi","year":"2002"},{"key":"2026033114223563400_ref015","author":"Balluchi","year":"2005"},{"key":"2026033114223563400_ref016","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1016\/j.automatica.2013.01.037","article-title":"The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem","volume":"49","author":"Balluchi","year":"2013","journal-title":"Automatica"},{"key":"2026033114223563400_ref017","volume-title":"Controlled and conditioned invariants in linear system theory","author":"Basile","year":"1992"},{"key":"2026033114223563400_ref018","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10626-012-0153-z","article-title":"Diagnosability analysis of hybrid systems cast in a discrete-event framework","volume":"24","author":"Bayoudh","year":"2014","journal-title":"Discrete Event Dyn Syst"},{"issue":"10","key":"2026033114223563400_ref019","doi-asserted-by":"crossref","first-page":"1864","DOI":"10.1109\/TAC.2000.880987","article-title":"Observability and controllability of piecewise affine and hybrid systems","volume":"45","author":"Bemporad","year":"2000","journal-title":"IEEE Trans. Automatic Control"},{"issue":"7","key":"2026033114223563400_ref020","doi-asserted-by":"crossref","first-page":"1778","DOI":"10.1109\/TAC.2014.2309263","article-title":"A new parametrization of linear observers","volume":"59","author":"Blumthaler","year":"2014","journal-title":"IEEE Trans. Automatic Control"},{"key":"2026033114223563400_ref021","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1016\/j.asoc.2013.09.009","article-title":"Active modes and switching instants identification for linear switched systems based on discrete particle swarm optimization","volume":"14","author":"Boubaker","year":"2014","journal-title":"Applied Soft Computing"},{"key":"2026033114223563400_ref022","author":"Caines","year":"1988"},{"key":"2026033114223563400_ref023","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0957-7","volume-title":"Linear System Theory","author":"Callier","year":"1991"},{"issue":"5","key":"2026033114223563400_ref024","doi-asserted-by":"crossref","first-page":"1769","DOI":"10.1137\/050645166","article-title":"Conewise linear systems: non-zenoness and observability","volume":"45","author":"Camlibel","year":"2006","journal-title":"Siam J. Control Optim."},{"key":"2026033114223563400_ref025","author":"Caravani","year":"2012"},{"issue":"14","key":"2026033114223563400_ref026","doi-asserted-by":"crossref","first-page":"1541","DOI":"10.1002\/rnc.1376","article-title":"Observer-based stabilization of linear switching systems","volume":"19","author":"Caravani","year":"2009","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"2026033114223563400_ref027","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"1999"},{"issue":"5","key":"2026033114223563400_ref028","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/TAC.2005.846594","article-title":"Stabilization of switched linear systems","volume":"50","author":"Cheng","year":"2005","journal-title":"IEEE Trans. Automatic Control"},{"issue":"5","key":"2026033114223563400_ref029","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TAC.2011.2174665","article-title":"A nonconservative lmi condition for stability of switched systems with guaranteed dwell time","volume":"57","author":"Chesi","year":"2012","journal-title":"IEEE Trans. Automatic Control"},{"issue":"3","key":"2026033114223563400_ref030","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","article-title":"Supervisory control of discrete-event processes with partial observations","volume":"33","author":"Cieslak","year":"1988","journal-title":"IEEE Trans. Automatic Control"},{"key":"2026033114223563400_ref031","first-page":"265","volume-title":"Hybrid Systems: Computation and Control","author":"Collins","year":"2007"},{"key":"2026033114223563400_ref032","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1016\/j.sysconle.2008.06.004","article-title":"Invariant dual cones for hybrid systems","volume":"57","author":"Santis","year":"2008","journal-title":"Systems & Control Letters"},{"key":"2026033114223563400_ref033","first-page":"807","article-title":"On location observability notions for switching systems","author":"Santis","year":"2011"},{"key":"2026033114223563400_ref034","doi-asserted-by":"crossref","first-page":"1519","DOI":"10.1002\/rnc.1508","article-title":"Special issue on observability and observer-based control of hybrid systems","volume":"19","author":"Santis","year":"2009","journal-title":"Int. J. Robust Nonlinear Control"},{"key":"2026033114223563400_ref035","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ejcon.2012.09.001","article-title":"Theory and computation of discrete state space decompositions for hybrid systems","volume":"19","author":"Santis","year":"2013","journal-title":"European Journal of Control"},{"key":"2026033114223563400_ref036","volume":"00","author":"Santis","year":"2015","journal-title":"Observability and diagnosability of finite state systems: a unifying framework."},{"key":"2026033114223563400_ref037","author":"Santis","year":"2016"},{"key":"2026033114223563400_ref038","author":"Santis","year":"2003"},{"issue":"2","key":"2026033114223563400_ref039","article-title":"Computation of maximal safe sets for switching systems","volume":"49","author":"Santis","year":"2004","journal-title":"IEEE Trans. Autom. Control"},{"key":"2026033114223563400_ref040","first-page":"141","volume-title":"Critical observability of a class of hybrid systems and application to air traffic management","author":"Santis","year":"2006"},{"key":"2026033114223563400_ref041","doi-asserted-by":"crossref","first-page":"1705","DOI":"10.1016\/j.na.2005.12.040","article-title":"Digital idle speed control of automotive engines: A safety problem for hybrid systems","volume":"65","author":"Santis","year":"2006","journal-title":"Nonlinear Analysis"},{"key":"2026033114223563400_ref042","first-page":"750","article-title":"Stabilizability of linear switching systems","volume":"2","author":"Santis","year":"2008","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"2026033114223563400_ref043","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1016\/j.automatica.2008.12.014","article-title":"A structural approach to detectability for a class of hybrid systems","volume":"45","author":"Santis","year":"2009","journal-title":"Automatica"},{"key":"2026033114223563400_ref044","doi-asserted-by":"crossref","first-page":"1930","DOI":"10.1080\/00207179.2010.501387","article-title":"A complexity reduction approach to detectability of switching systems","volume":"83","author":"Santis","year":"2010","journal-title":"International Journal of Control"},{"issue":"5","key":"2026033114223563400_ref045","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1163\/156855305323383794","article-title":"Distinguishability and identifiability testing of contact state systems","volume":"19","author":"Debus","year":"2005","journal-title":"Advanced Robotics"},{"key":"2026033114223563400_ref046","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-319-10795-0_12","volume-title":"Hybrid Dynamical Systems","author":"Defoort","year":"2015"},{"key":"2026033114223563400_ref047","author":"Benedetto","year":"2005"},{"key":"2026033114223563400_ref048","author":"Benedetto","year":"2005"},{"issue":"9","key":"2026033114223563400_ref049","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2011.2105738","article-title":"Verification of hybrid automata diagnosability by abstraction","volume":"56","author":"Benedetto","year":"2011","journal-title":"IEEE Trans. Autom. Control"},{"issue":"14","key":"2026033114223563400_ref050","first-page":"1564","article-title":"Discrete state observability of hybrid systems","volume":"19","author":"Benedetto","year":"2009","journal-title":"International Journal of Robust and Nonlinear Control, Special Issue on Observability and Observer Design for Hybrid Systems"},{"key":"2026033114223563400_ref051","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-319-10795-0_4","volume-title":"Hybrid Dynamical Systems","author":"Djemai","year":"2015"},{"key":"2026033114223563400_ref052","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.ejcon.2014.02.001","article-title":"A separation principle for linear impulsive systems","volume":"20","author":"Ellouze","year":"2014","journal-title":"European Journal of Control"},{"issue":"7","key":"2026033114223563400_ref053","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1109\/TAC.2002.800673","article-title":"A continuous-time observer which converges in finite time","volume":"47","author":"Engel","year":"2002","journal-title":"IEEE Trans. on Automatic Control"},{"key":"2026033114223563400_ref054","article-title":"Moving horizon estimation for hybrid systems","volume":"1684-1688","author":"Ferrari-Trecate","year":"2000","journal-title":"In Proceedings of the American Control Conference, Chicago, Illinois, US, pages"},{"key":"2026033114223563400_ref055","author":"Fliess","year":"2008"},{"issue":"3","key":"2026033114223563400_ref056","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0005-1098(90)90018-D","article-title":"Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results","volume":"26","author":"Frank","year":"1990","journal-title":"Automatica"},{"key":"2026033114223563400_ref057","volume-title":"Hybrid Dynamical Systems: Modeling, Stability, and Robustness","author":"Goebel","year":"2012"},{"issue":"3","key":"2026033114223563400_ref058","doi-asserted-by":"crossref","first-page":"732","DOI":"10.1109\/TAC.2011.2166669","article-title":"On the observability of continuous-time switched linear systems under partially unknown inputs","volume":"57","author":"G\u00f3mez-Guti\u00e9rrez","year":"2012","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"2026033114223563400_ref059","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0022-247X(71)90241-1","article-title":"On the observability of nonlinear systems","volume":"35","author":"Griffith","year":"1971","journal-title":"J. Math. Anal. Appl."},{"key":"2026033114223563400_ref060","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-015-9301-9","article-title":"Polytope lyapunov functions for stable and for stabilizable lss","author":"Guglielmi","year":"2015","journal-title":"Foundations of Computational Mathematics"},{"key":"2026033114223563400_ref061","first-page":"938","article-title":"Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Automatic","volume":"51","author":"Habets","year":"2006","journal-title":"Control"},{"issue":"2-3","key":"2026033114223563400_ref062","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","article-title":"Bisimulation relations for dynamical, control and hybrid systems","volume":"342","author":"Haghverdi","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"2026033114223563400_ref063","doi-asserted-by":"crossref","first-page":"1501","DOI":"10.1109\/TAC.2014.2383012","article-title":"Model-based modes detection and discernibility for switched affine discrete-time systems","volume":"60","author":"Halimi","year":"2015","journal-title":"IEEE Trans. Automatic Control"},{"key":"2026033114223563400_ref064","doi-asserted-by":"crossref","DOI":"10.21236\/AD0705364","volume-title":"Graph Theory","author":"Harary","year":"1969"},{"key":"2026033114223563400_ref065","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-60084-1_85","article-title":"Hybrid automata with finite bisimulations","volume":"944","author":"Henzinger","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"issue":"2","key":"2026033114223563400_ref066","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1109\/TAC.2004.841937","article-title":"Nonlinear normobservability notions and stability of switched systems","volume":"50","author":"Hespanha","year":"2005","journal-title":"IEEE Trans. Automat.Contr."},{"key":"2026033114223563400_ref067","author":"Hespanha","year":"1999"},{"key":"2026033114223563400_ref068","first-page":"253","volume-title":"Hybrid Systems: Computation and Control 2002","author":"Hofbaur","year":"2002"},{"key":"2026033114223563400_ref069","author":"Huang","year":"2004"},{"issue":"June 2014","key":"2026033114223563400_ref070","article-title":"American Control Conference","author":"Johnson","year":"2014","journal-title":"pages 3267-3272"},{"key":"2026033114223563400_ref071","author":"Julius","year":"2002"},{"issue":"3","key":"2026033114223563400_ref072","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/TAC.1959.1104873","article-title":"On the general theory of control systems","volume":"4","author":"Kalman","year":"1959","journal-title":"IRE Transactions on Automatic Control"},{"key":"2026033114223563400_ref073","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1115\/1.3662552","article-title":"A new approach to linear filtering and prediction problems. Transactions of the ASME -","author":"Kalman","year":"1960","journal-title":"Journal of Basic Engineering"},{"issue":"6","key":"2026033114223563400_ref074","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1002\/rnc.3051","article-title":"High-gain observers in nonlinear feedback control","volume":"24","author":"Khalil","year":"2013","journal-title":"Int. J. Robust. Nonlinear Control"},{"key":"2026033114223563400_ref075","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1134\/S1064230710060080","article-title":"Transformation of a mealy finite-state machine into a moore finite-state machine by splitting internal states","volume":"49","author":"Klimovich","year":"2010","journal-title":"Journal of Computer and Systems Sciences International"},{"key":"2026033114223563400_ref076","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/3-540-49163-5_10","article-title":"Hybrid systems with finite bisimulations","volume":"1567","author":"Lafferriere","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"2026033114223563400_ref077","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","article-title":"O-minimal hybrid systems","volume":"13","author":"Lafferriere","year":"2000","journal-title":"Mathematics of Control, Signals and Systems"},{"issue":"4","key":"2026033114223563400_ref078","first-page":"431","article-title":"Detectability of linear impulsive systems","volume":"19","author":"Lawrence","year":"2012","journal-title":"Dynamics of Continuous, Discrete and Impulsve Systems A: Mathematical Analysis"},{"issue":"3","key":"2026033114223563400_ref079","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TAC.2009.2012966","article-title":"Detectability and stabilizability of discretetime switched linear systems","volume":"54","author":"Lee","year":"2009","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"3","key":"2026033114223563400_ref080","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/S0005-1098(02)00267-4","article-title":"Observer-based stabilization of switching linear systems","volume":"39","author":"Li","year":"2003","journal-title":"Automatica"},{"key":"2026033114223563400_ref081","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"Liberzon","year":"2003"},{"issue":"1","key":"2026033114223563400_ref082","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","article-title":"Diagnosability of discrete event systems and its applications","volume":"4","author":"Lin","year":"1994","journal-title":"Discrete Event Dynamic Systems"},{"key":"2026033114223563400_ref083","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","article-title":"On observability of discrete-event systems","volume":"44","author":"Lin","year":"1988","journal-title":"Information Sciences"},{"key":"2026033114223563400_ref084","first-page":"1","author":"Lin","year":"2014","journal-title":"Hybrid dynamical systems: An introduction to control and verification."},{"issue":"2","key":"2026033114223563400_ref085","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1023\/A:1025117418970","article-title":"Distinguishability conditions for stationary linear systems","volume":"39","author":"Lomov","year":"2003","journal-title":"Differential Equation"},{"key":"2026033114223563400_ref086","first-page":"21","article-title":"The distinguishability of linear control systems","volume":"3","author":"Lou","year":"2009","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"2026033114223563400_ref087","first-page":"427","article-title":"Conditions for distinguishability and observability of switched linear systems","volume":"5","author":"Lou","year":"2011","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"issue":"6","key":"2026033114223563400_ref088","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1109\/TAC.1971.1099826","article-title":"An introduction to observers","volume":"16","author":"Luenberger","year":"1971","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"1","key":"2026033114223563400_ref089","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2002.806650","article-title":"Dynamical properties of hybrid automata","volume":"48","author":"Lygeros","year":"2003","journal-title":"IEEE Transactions On Automatic Control"},{"key":"2026033114223563400_ref090","first-page":"129","volume-title":"Lecture Notes in Control and Information Sciences","author":"Manamanni","year":"2014"},{"key":"2026033114223563400_ref091","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: specification","author":"Manna","year":"1992"},{"key":"2026033114223563400_ref092","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1016\/j.automatica.2013.11.026","article-title":"Graphic approach for the determination of the existence of sequences guaranteeing observability of switched linear systems","volume":"50","author":"Martinez-Martinez","year":"2014","journal-title":"Automatica"},{"issue":"3","key":"2026033114223563400_ref093","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1109\/9.16422","article-title":"Failure detection and identification","volume":"34","author":"Massoumnia","year":"1989","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114223563400_ref094","first-page":"pages 282295.","volume-title":"Hybrid Systems: Computation and Control","author":"McIlraith","year":"2000"},{"key":"2026033114223563400_ref095","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"2026033114223563400_ref096","doi-asserted-by":"crossref","first-page":"1549","DOI":"10.1002\/rnc.3366","article-title":"Uniformly convergent sliding mode-based observation for switched linear systems","volume":"26","author":"Mincarelli","year":"2016","journal-title":"International Journal of Robust and Nonlinear Control"},{"issue":"10","key":"2026033114223563400_ref097","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1109\/9.539424","article-title":"Supervisory control of a families of linear set-point controllerspart 1: exact matching","volume":"41","author":"Morse","year":"1996","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2026033114223563400_ref098","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/3-540-48983-5_18","volume-title":"Hybrid Systems: Computation and Control","author":"Mosterman","year":"1999"},{"key":"2026033114223563400_ref099","article-title":"Building observers to address fault isolation and control problems in hybrid dynamic systems","volume":"2393-2398","author":"Narasimhan","year":"2000","journal-title":"In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, USA, pages"},{"issue":"7","key":"2026033114223563400_ref100","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","article-title":"Observability of discrete event dynamic systems","volume":"35","author":"Ozveren","year":"1990","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"8","key":"2026033114223563400_ref101","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2005.03.017","article-title":"Safe diagnosability for fault tolerant supervision of discrete event systems","volume":"41","author":"Paoli","year":"2005","journal-title":"Automatica"},{"issue":"12","key":"2026033114223563400_ref102","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","article-title":"Bisimilar linear systems","volume":"39","author":"Pappas","year":"2003","journal-title":"Automatica"},{"key":"2026033114223563400_ref103","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.sysconle.2003.09.013","article-title":"Bisimilar control affine systems","volume":"52","author":"Pappas","year":"2004","journal-title":"Systems & Control Letters"},{"key":"2026033114223563400_ref104","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","article-title":"Concurrency and automata on infinite sequences","volume":"104","author":"Park","year":"1981","journal-title":"Lecture Notes in Computer Science"},{"key":"2026033114223563400_ref105","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-319-10795-0_8","volume-title":"Hybrid Dynamical Systems Observation and Control","author":"Petreczky","year":"2015"},{"key":"2026033114223563400_ref106","author":"Pettersson","year":"2006"},{"key":"2026033114223563400_ref107","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1080\/00207170500380839","article-title":"Equivalence of switching linear systems by bisimulation","volume":"79","author":"Pola","year":"2006","journal-title":"International Journal of Control"},{"key":"2026033114223563400_ref108","author":"Ramadge","year":"1986"},{"issue":"1","key":"2026033114223563400_ref109","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete-event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proc. IEEE"},{"issue":"11","key":"2026033114223563400_ref110","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","article-title":"Think globally, act locally: decentralized supervisor control","volume":"37","author":"Rudie","year":"1989","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"2026033114223563400_ref111","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"2026033114223563400_ref112","doi-asserted-by":"crossref","first-page":"2282","DOI":"10.1109\/TAC.2007.910684","article-title":"Invariance principles for hybrid systems with connections to detectability and asymptotic stability","volume":"52","author":"Sanfelice","year":"2007","journal-title":"IEEE Trans. on Automatic Control"},{"key":"2026033114223563400_ref113","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.1016\/j.automatica.2014.02.041","article-title":"Dynamic generalized controllability and observability functions with applications to model reduction and sensor deployment","volume":"50","author":"Sassano","year":"2014","journal-title":"Automatica"},{"key":"2026033114223563400_ref114","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1016\/j.automatica.2010.02.016","article-title":"Observability analysis of conewise linear systems via directional derivative and positive invariance techniques","volume":"46","author":"Shen","year":"2010","journal-title":"Automatica"},{"issue":"1","key":"2026033114223563400_ref115","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1137\/0317011","article-title":"On the observability of polynomial systems, i: finite-time problems","volume":"17","author":"Sontag","year":"1979","journal-title":"SIAM J. Control Optim"},{"key":"2026033114223563400_ref116","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","author":"Sontag","year":"1998","edition":"2nd edn."},{"key":"2026033114223563400_ref117","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.automatica.2004.09.015","article-title":"Analysis and synthesis of switched linear control systems","volume":"41","author":"Sun","year":"2005","journal-title":"Automatica"},{"key":"2026033114223563400_ref118","doi-asserted-by":"crossref","DOI":"10.1007\/1-84628-131-8","volume-title":"Switched linear systems","author":"Sun","year":"2005"},{"issue":"5","key":"2026033114223563400_ref119","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/S0005-1098(01)00267-9","article-title":"Controllability and reachability criteria for switched linear systems","volume":"38","author":"Sun","year":"2002","journal-title":"Automatica"},{"key":"2026033114223563400_ref120","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/3-540-45873-5_34","article-title":"Composing abstractions of hybrid systems","volume":"2289","author":"Tabuada","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"2026033114223563400_ref121","author":"Tanwani","year":"2011"},{"issue":"4","key":"2026033114223563400_ref122","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1109\/TAC.2012.2224257","article-title":"Observability for switched linear systems: Characterization and observer design","volume":"58","author":"Tanwani","year":"2013","journal-title":"IEEE Trans. Autom. Control"},{"key":"2026033114223563400_ref123","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-319-10795-0_7","volume-title":"Hybrid Dynamical Systems","author":"Tanwani","year":"2015"},{"key":"2026033114223563400_ref124","first-page":"233","article-title":"Algebraic switching time identification for a class of linear hybrid systems","volume":"5","author":"Tian","year":"2011","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"2026033114223563400_ref125","first-page":"205","volume-title":"Lecture Notes in Computer Science","author":"Tripakis","year":"2002"},{"issue":"7","key":"2026033114223563400_ref126","doi-asserted-by":"crossref","first-page":"1737","DOI":"10.1109\/TAC.2014.2309272","article-title":"Internal model principles for observers","volume":"59","author":"Trumpf","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"2026033114223563400_ref127","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/TAC.2010.2051065","article-title":"Step tracking in the presence of persistent plant changes","volume":"56","author":"Vale","year":"2010","journal-title":"IEEE Trans. Autom. Control"},{"key":"2026033114223563400_ref128","author":"Vidal","year":"2002"},{"key":"2026033114223563400_ref129","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-36580-X_38","volume-title":"Hybrid Systems: Computation and Control","author":"Vidal","year":"2003"},{"key":"2026033114223563400_ref130","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1016\/j.automatica.2007.08.015","article-title":"Invertibility of switched linear systems","volume":"44","author":"Vu","year":"2008","journal-title":"Automatica"},{"issue":"42","key":"2026033114223563400_ref131","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0378-4754(95)00123-9","article-title":"On the identifiability and distinguishability of non-linear parametric systems","volume":"42","author":"Walter","year":"1996","journal-title":"Mathematics and Computers in Simulation"},{"issue":"7","key":"2026033114223563400_ref132","doi-asserted-by":"crossref","first-page":"1551","DOI":"10.1109\/TAC.2011.2108410","article-title":"On codiagnosability and coobservability with dynamic observations","volume":"56","author":"Wang","year":"2011","journal-title":"IEEE Transactions on automatic control"},{"key":"2026033114223563400_ref133","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/j.automatica.2015.08.023","article-title":"Codiagnosability and coobservability under dynamic observations: Transformations and verifications","volume":"61","author":"Yin","year":"2015","journal-title":"Automatical"},{"issue":"9","key":"2026033114223563400_ref134","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosability of partially-observed discrete-event systems","volume":"47","author":"Yoo","year":"2002","journal-title":"IEEE Transactions on automatic control"},{"key":"2026033114223563400_ref135","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","article-title":"Overview of fault diagnosis methods for discrete event systems","volume":"37","author":"Zaytoon","year":"2013","journal-title":"Annual Reviews in Control"},{"key":"2026033114223563400_ref136","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/rnc.592","article-title":"Zeno hybrid systems","volume":"11","author":"Zhang","year":"2001","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"2026033114223563400_ref137","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0304-3975(98)00009-7","article-title":"Infinite games on finitely coloured graphs with applications to automata on infinite trees","volume":"200","author":"Zielonka","year":"1998","journal-title":"Theoretical Computer Science"}],"container-title":["Foundations and Trends\u00ae in Systems and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/ftsys\/article-pdf\/3\/4\/363\/11148264\/2600000009en.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/www.emerald.com\/ftsys\/article-pdf\/3\/4\/363\/11148264\/2600000009en.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T18:22:57Z","timestamp":1774981377000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.emerald.com\/ftsys\/article\/3\/4\/363\/1332189\/Observability-of-Hybrid-Dynamical-Systems"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,24]]},"references-count":137,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,11,24]]}},"URL":"https:\/\/doi.org\/10.1561\/2600000009","relation":{},"ISSN":["2325-6818","2325-6826"],"issn-type":[{"value":"2325-6818","type":"print"},{"value":"2325-6826","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,24]]}}}