{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:32:09Z","timestamp":1752982329885,"version":"3.30.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T00:00:00Z","timestamp":1720051200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s11334-024-00567-0","type":"journal-article","created":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T16:02:33Z","timestamp":1720108953000},"page":"511-529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation"],"prefix":"10.1007","volume":"20","author":[{"given":"Baptiste","family":"Gueuziec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Gallois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boulanger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,4]]},"reference":[{"key":"567_CR1","volume-title":"Introduction to embedded systems, a cyber-physical systems approach","author":"EA Lee","year":"2017","unstructured":"Lee EA, Seshia SA (2017) Introduction to embedded systems, a cyber-physical systems approach, 2nd edn. MIT Press, Cambridge","edition":"2"},{"key":"567_CR2","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"TA Henzinger","year":"2000","unstructured":"Henzinger TA (2000) The theory of hybrid automata. Verification of Digital and Hybrid Systems. Springer, Heidelberg, pp 265\u2013292"},{"key":"567_CR3","doi-asserted-by":"crossref","unstructured":"Forbus KD (2014) Qualitative reasoning","DOI":"10.1201\/b16812-41"},{"issue":"1","key":"567_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/TFUZZ.1993.390281","volume":"1","author":"M Sugeno","year":"1993","unstructured":"Sugeno M, Yasukawa T (1993) A fuzzy-logic-based approach to qualitative modeling. IEEE Trans Fuzzy Syst 1(1):7","journal-title":"IEEE Trans Fuzzy Syst"},{"key":"567_CR5","volume-title":"Qualitative knowledge, causal reasoning, and the localization of failures","author":"AL Brown","year":"1974","unstructured":"Brown AL (1974) Qualitative knowledge, causal reasoning, and the localization of failures. MIT Artificial Intelligence Laboratory, Cambridge"},{"key":"567_CR6","volume-title":"Qualitative and Quantitative Knowledge in Classical Mechanics","author":"J De Kleer","year":"1975","unstructured":"De Kleer J (1975) Qualitative and Quantitative Knowledge in Classical Mechanics. AI-TR-, Massachusetts Institute of Technology, Artificial Intelligence Laboratory, Cambridge"},{"key":"567_CR7","unstructured":"Hayes PJ (1979) The naive physics manifesto. Expert systems in the microelectronic age"},{"issue":"2","key":"567_CR8","first-page":"1","volume":"17","author":"B Smith","year":"1993","unstructured":"Smith B, Casati R (1993) La physique na\u00efve: un essai d\u2019ontologie. Intellectica 17(2):1","journal-title":"Intellectica"},{"key":"567_CR9","first-page":"46","volume-title":"The second naive physics manifesto","author":"PJ Hayes","year":"1985","unstructured":"Hayes PJ (1985) The second naive physics manifesto. Readings in qualitative reasoning about physical systems. Morgan Kaufmann, New York, pp 46\u201363"},{"issue":"1\u20133","key":"567_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"KD Forbus","year":"1984","unstructured":"Forbus KD (1984) Qualitative process theory. Artif Intell 24(1\u20133):85\u2013168","journal-title":"Artif Intell"},{"issue":"3","key":"567_CR11","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B Kuipers","year":"1986","unstructured":"Kuipers B (1986) Qualitative simulation. Artif Intell 29(3):289\u2013338","journal-title":"Artif Intell"},{"key":"567_CR12","volume-title":"Mod\u00e8les et Raisonnements Qualitatifs","author":"PD Louise Trav\u00e9-Massuy\u00e8s","year":"2003","unstructured":"Louise Trav\u00e9-Massuy\u00e8s PD (2003) Mod\u00e8les et Raisonnements Qualitatifs. Hermes, Paris"},{"issue":"2","key":"567_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0004-3702(97)00050-7","volume":"95","author":"D Berleant","year":"1997","unstructured":"Berleant D, Kuipers BJ (1997) Qualitative and quantitative simulation: bridging the gap. Artif Intell 95(2):215\u2013255","journal-title":"Artif Intell"},{"key":"567_CR14","doi-asserted-by":"crossref","unstructured":"Medimegh S, Pierron J-Y, Boulanger F (2018) Qualitative simulation of hybrid systems with an application to sysml models. In: MODELSWARD, pp 279\u2013286","DOI":"10.5220\/0006535202790286"},{"key":"567_CR15","unstructured":"Bouissou O, Chapoutot A, Mimram S (2013) Computing flowpipe of nonlinear hybrid systems with numerical methods. arXiv preprint arXiv:1306.2305"},{"key":"567_CR16","doi-asserted-by":"crossref","unstructured":"Tiwari A, Khanna G (2002) Series of abstractions for hybrid automata. In: International workshop on hybrid systems: computation and control. Springer, pp 465\u2013478","DOI":"10.1007\/3-540-45873-5_36"},{"issue":"1","key":"567_CR17","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1109\/TIV.2022.3204574","volume":"8","author":"Y Selvaraj","year":"2022","unstructured":"Selvaraj Y, Ahrendt W, Fabian M (2022) Formal development of safe automated driving using differential dynamic logic. IEEE Trans Intell Vehic 8(1):988\u20131000","journal-title":"IEEE Trans Intell Vehic"},{"key":"567_CR18","first-page":"279","volume-title":"Abstractions refinement for hybrid systems diagnosability analysis","author":"H Zaatiti","year":"2018","unstructured":"Zaatiti H, Ye L, Dague P, Gallois J-P, Trav\u00e9-Massuy\u00e8s L (2018) Abstractions refinement for hybrid systems diagnosability analysis. Diagnosability. Security and safety of hybrid dynamic and cyber-physical systems. Springer, Cham, pp 279\u2013318"},{"issue":"6","key":"567_CR19","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/3468.798059","volume":"29","author":"PJ Mosterman","year":"1999","unstructured":"Mosterman PJ, Biswas G (1999) Diagnosis of continuous valued systems in transient operating regions. IEEE Trans Syst Man Cybern-Part A: Syst Hum 29(6):554\u2013565","journal-title":"IEEE Trans Syst Man Cybern-Part A: Syst Hum"},{"key":"567_CR20","doi-asserted-by":"crossref","unstructured":"Maler O (2014) Algorithmic verification of continuous and hybrid systems. arXiv preprint arXiv:1403.0952","DOI":"10.4204\/EPTCS.140.4"},{"key":"567_CR21","first-page":"209","volume-title":"International hybrid systems workshop","author":"R Alur","year":"1991","unstructured":"Alur R, Courcoubetis C, Henzinger TA, Ho P-H (1991) Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. International hybrid systems workshop. Springer, Heidelberg, pp 209\u2013229"},{"key":"567_CR22","doi-asserted-by":"crossref","unstructured":"Maler O, Batt G (2008) Approximating continuous systems by timed automata. In: International workshop on formal methods in systems biology (2008). Springer, pp 77\u201389","DOI":"10.1007\/978-3-540-68413-8_6"},{"issue":"7","key":"567_CR23","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"key":"567_CR24","doi-asserted-by":"crossref","unstructured":"Aichernig BK, Brandl H, Krenn W (2009) Qualitative action systems. In: International conference on formal engineering methods. Springer, pp 206\u2013225","DOI":"10.1007\/978-3-642-10373-5_11"},{"key":"567_CR25","unstructured":"Gao Y, Moreira N, Reis R, Yu S (2015) A survey on operational state complexity. arXiv preprint arXiv:1509.03254 (2015)"},{"key":"567_CR26","volume-title":"Introduction to physical system dynamics","author":"RR Rosenberg","year":"1983","unstructured":"Rosenberg RR, Karnopp DC (1983) Introduction to physical system dynamics. McGraw-Hill Inc, New York"},{"key":"567_CR27","volume-title":"The theory of lie derivatives and its applications","author":"K Yano","year":"2020","unstructured":"Yano K (2020) The theory of lie derivatives and its applications. Courier Dover Publications, New York"},{"key":"567_CR28","doi-asserted-by":"crossref","unstructured":"Gueuziec B, Gallois J-P, Boulanger F (2022) Qualitative models for the supervision of cps simulations. In: Proceedings of the 25th international conference on model driven engineering languages and systems: companion proceedings, pp 612\u2013616","DOI":"10.1145\/3550356.3561594"},{"issue":"9\u201310","key":"567_CR29","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/0098-1354(88)87014-5","volume":"12","author":"ML Mavrovouniotis","year":"1988","unstructured":"Mavrovouniotis ML, Stephanopoulos G (1988) Formal order-of-magnitude reasoning in process engineering. Comput Chem Eng 12(9\u201310):867\u2013880","journal-title":"Comput Chem Eng"},{"key":"567_CR30","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1016\/B978-1-4832-1447-4.50027-4","volume-title":"Readings in qualitative reasoning about physical systems","author":"O Raiman","year":"1990","unstructured":"Raiman O (1990) Order of magnitude reasoning. Readings in qualitative reasoning about physical systems. Elsevier, San Francisco, pp 318\u2013322"},{"issue":"3","key":"567_CR31","first-page":"123","volume":"18","author":"E Kofman","year":"2001","unstructured":"Kofman E, Junco S (2001) Quantized-state systems: a devs approach for continuous system simulation. Trans Soc Model Simul Int 18(3):123\u2013132","journal-title":"Trans Soc Model Simul Int"},{"key":"567_CR32","unstructured":"Cellier FE, Kofman E, Migoni G, Bortolotto M (2008) Quantized state system simulation. In: Proc. GCMS\u201908, grand challenges in modeling and simulation, pp 504\u2013510"},{"key":"567_CR33","doi-asserted-by":"crossref","unstructured":"Floros X, Bergero F, Cellier FE, Kofman E (2011) Automated simulation of modelica models with QSS methods-the discontinuous case. In: 8th International Modelica Conference, pp 657\u2013667","DOI":"10.3384\/ecp11063657"},{"key":"567_CR34","unstructured":"Gueuziec B, Gallois J-P, Boulanger F (2023) Abstraction qualitative et surveillance de syst\u00e8mes cyber-physiques. In: Mod\u00e9lisation des Syst\u00e8mes R\u00e9actifs"},{"key":"567_CR35","doi-asserted-by":"crossref","unstructured":"Gueuziec B, Boulanger F, Gallois J-P (2023) Qualitative tendencies for hybrid system simulation. In: MPM4CPS 2023-multi-paradigm modelling for cyber-physical systems-26th international conference on model driven engineering languages and systems","DOI":"10.1109\/MODELS-C59198.2023.00087"},{"key":"567_CR36","doi-asserted-by":"crossref","unstructured":"Asarin E, Dang T, Girard A (2007) Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43:451\u2013476","DOI":"10.1007\/s00236-006-0035-7"},{"key":"567_CR37","unstructured":"Dague P (1993) Numeric reasoning with relative orders of magnitude. In: AAAI, pp 541\u2013547"},{"key":"567_CR38","volume-title":"Le\u00e7ons sur la Th\u00e9orie de La croissance","author":"\u00c9 Borel","year":"1910","unstructured":"Borel \u00c9, Denjoy A (1910) Le\u00e7ons sur la Th\u00e9orie de La croissance, vol 12. Gauthier-Villars, Paris"},{"issue":"1","key":"567_CR39","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1112\/plms\/s2-10.1.54","volume":"2","author":"GH Hardy","year":"1912","unstructured":"Hardy GH (1912) Properties of logarithmico-exponential functions. Proc Lond Math Soc 2(1):54\u201390","journal-title":"Proc Lond Math Soc"},{"issue":"1","key":"567_CR40","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0004-3702(86)90089-5","volume":"29","author":"Y Iwasaki","year":"1986","unstructured":"Iwasaki Y, Simon HA (1986) Causality in device behavior. Artif Intell 29(1):3\u201332","journal-title":"Artif Intell"},{"issue":"1","key":"567_CR41","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0004-3702(86)90090-1","volume":"29","author":"J De Kleer","year":"1986","unstructured":"De Kleer J, Brown JS (1986) Theories of causal ordering. Artif Intell 29(1):33\u201361","journal-title":"Artif Intell"},{"key":"567_CR42","unstructured":"Medimegh S (2018) Analyse formelle de sp\u00e9cifications hybrides \u00e0 partir de mod\u00e8les sysml pour la validation fonctionnelle des syst\u00e8mes embarqu\u00e9s. PhD thesis, Universit\u00e9 Paris Saclay (COmUE)"},{"issue":"2","key":"567_CR43","first-page":"05","volume":"8","author":"P Kr\u00f6ger","year":"2022","unstructured":"Kr\u00f6ger P, Fr\u00e4nzle M (2022) Bayesian hybrid automata: A formal model of justified belief in interacting hybrid systems subject to imprecise observation. Leibniz Transactions on Embedded Systems 8(2):05\u20131","journal-title":"Leibniz Transactions on Embedded Systems"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00567-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-024-00567-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-024-00567-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T10:39:31Z","timestamp":1733395171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-024-00567-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,4]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["567"],"URL":"https:\/\/doi.org\/10.1007\/s11334-024-00567-0","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2024,7,4]]},"assertion":[{"value":"14 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}