{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T17:52:27Z","timestamp":1726422747879},"reference-count":74,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,6,16]],"date-time":"2016-06-16T00:00:00Z","timestamp":1466035200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/I001689\/1"],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000690","name":"Research Councils UK","doi-asserted-by":"publisher","award":["EP\/E50048\/1"],"id":[{"id":"10.13039\/501100000690","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1016\/j.tcs.2016.06.009","type":"journal-article","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T00:49:46Z","timestamp":1466988586000},"page":"1-23","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["Deadness and how to disprove liveness in hybrid dynamical systems"],"prefix":"10.1016","volume":"642","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-8762-6943","authenticated-orcid":false,"given":"Eva M.","family":"Navarro-L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Rebekah","family":"Carter","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2016.06.009_br0010","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/j.nahs.2008.12.005","article-title":"Understanding deadlock and livelock behaviors in hybrid control systems","volume":"3","author":"Abate","year":"2009","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0020","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10817-009-9149-2","article-title":"MetiTarski: an automatic theorem prover for real-valued special functions","volume":"44","author":"Akbarpour","year":"2010","journal-title":"J. Automat. Reason."},{"key":"10.1016\/j.tcs.2016.06.009_br0030","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","article-title":"Defining liveness","volume":"21","author":"Alpern","year":"1985","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/j.tcs.2016.06.009_br0040","series-title":"Hybrid Systems","article-title":"Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems","volume":"vol. 736","author":"Alur","year":"1993"},{"key":"10.1016\/j.tcs.2016.06.009_br0050","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","article-title":"The benefits of relaxing punctuality","volume":"43","author":"Alur","year":"1996","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0060","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","article-title":"Automatic symbolic verification of embedded systems","volume":"22","author":"Alur","year":"1996","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0070","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1142\/S0218127402004218","article-title":"Asymptotic analysis of a new piecewise-linear chaotic system","volume":"121","author":"Aziz-Alaoui","year":"2002","journal-title":"Internat. J. Bifur. Chaos"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0080","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1142\/S0218127493000155","article-title":"Lorenz attractor from differential equations with piecewise linear terms","volume":"3","author":"Baghious","year":"1993","journal-title":"Internat. J. Bifur. Chaos"},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0090","doi-asserted-by":"crossref","first-page":"259","DOI":"10.3233\/FI-2000-41301","article-title":"On topological hierarchies of temporal properties","volume":"41","author":"Baier","year":"2000","journal-title":"Fund. Inform."},{"key":"10.1016\/j.tcs.2016.06.009_br0100","series-title":"Design, Automation and Test in Europe (DATE '07)","first-page":"924","article-title":"Tool-support for the analysis of hybrid systems and models","author":"Bauer","year":"2007"},{"key":"10.1016\/j.tcs.2016.06.009_br0110","series-title":"FORMATS 2005","first-page":"81","article-title":"Beyond liveness: efficient parameter synthesis for time bounded liveness","volume":"vol. 3829","author":"Behrmann","year":"2005"},{"key":"10.1016\/j.tcs.2016.06.009_br0120","series-title":"50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC)","first-page":"4753","article-title":"Revisiting synthesis of switching controllers for linear hybrid systems","author":"Benerecetti","year":"2011"},{"key":"10.1016\/j.tcs.2016.06.009_br0130","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.tcs.2012.10.042","article-title":"Automatic synthesis of switching controllers for linear hybrid systems: safety control","volume":"493","author":"Benerecetti","year":"2013","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.tcs.2016.06.009_br0140","series-title":"INFINITY 2004","first-page":"101","article-title":"Handling liveness properties in (\u03c9-) regular model checking","volume":"vol. 138","author":"Bouajjani","year":"2005"},{"key":"10.1016\/j.tcs.2016.06.009_br0150","series-title":"Proceedings of the IEEE Conference on Decision and Control","first-page":"3498","article-title":"Stability of switched and hybrid systems","author":"Branicky","year":"1994"},{"issue":"4","key":"10.1016\/j.tcs.2016.06.009_br0160","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1109\/9.664150","article-title":"Multiple Lyapunov functions and other analysis tools for switched and hybrid systems","volume":"43","author":"Branicky","year":"1998","journal-title":"IEEE Trans. Automat. Control"},{"key":"10.1016\/j.tcs.2016.06.009_br0170","doi-asserted-by":"crossref","unstructured":"R. Carter, E.M. Navarro-L\u00f3pez, Abstractions of hybrid systems: formal languages to describe dynamical behaviour, in: 18th IFAC Triennial World Congress, August 31\u2013September 2, 2011, pp. 4552\u20134557.","DOI":"10.3182\/20110828-6-IT-1002.01072"},{"key":"10.1016\/j.tcs.2016.06.009_br0180","series-title":"Formal Modeling and Analysis of Timed Systems","first-page":"59","article-title":"Dynamically-driven timed automaton abstractions for proving liveness of continuous systems","volume":"vol. 7595","author":"Carter","year":"2012"},{"key":"10.1016\/j.tcs.2016.06.009_br0190","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/TAC.2002.806655","article-title":"Computational techniques for hybrid system verification","volume":"48","author":"Chutinan","year":"2003","journal-title":"IEEE Trans. Automat. Control"},{"issue":"4","key":"10.1016\/j.tcs.2016.06.009_br0200","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1142\/S012905410300190X","article-title":"Abstraction and counterexample-guided refinement in model checking of hybrid systems","volume":"14","author":"Clarke","year":"2003","journal-title":"Internat. J. Found. Comput. Sci."},{"key":"10.1016\/j.tcs.2016.06.009_br0210","series-title":"Proceedings of the Verification, Model Checking, and Abstract Interpretation","first-page":"134","article-title":"Proving stabilization of biological systems","volume":"vol. 6538","author":"Cook","year":"2011"},{"issue":"5","key":"10.1016\/j.tcs.2016.06.009_br0220","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0005-1098(71)90027-6","article-title":"A computational method for determining quadratic Lyapunov functions for non-linear systems","volume":"7","author":"Davison","year":"1971","journal-title":"Automatica"},{"issue":"7","key":"10.1016\/j.tcs.2016.06.009_br0230","doi-asserted-by":"crossref","first-page":"1069","DOI":"10.1109\/5.871309","article-title":"Perspectives and results on the stability and stabilizability of hybrid systems","volume":"88","author":"Decarlo","year":"2000","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.tcs.2016.06.009_br0240","series-title":"Automated verification of continuous and hybrid dynamical systems","author":"Denman","year":"2014"},{"key":"10.1016\/j.tcs.2016.06.009_br0250","series-title":"Computer Aided Verification","first-page":"167","article-title":"Breach: a toolbox for verification and parameter synthesis of hybrid systems","volume":"vol. 6174","author":"Donz\u00e9","year":"2010"},{"key":"10.1016\/j.tcs.2016.06.009_br0260","series-title":"Hybrid Systems: Computation and Control (HSCC)","first-page":"115","article-title":"Lyapunov abstractions for inevitability of hybrid systems","author":"Duggirala","year":"2012"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0270","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","article-title":"Decision procedures and expressiveness in the temporal logic of branching time","volume":"30","author":"Emerson","year":"1985","journal-title":"J. Comput. System Sci."},{"issue":"2","key":"10.1016\/j.tcs.2016.06.009_br0280","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic motion planning for dynamic robots","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.tcs.2016.06.009_br0290","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0020-7462(88)90026-1","article-title":"A computational approach for studying domains of attraction for non-linear systems","volume":"23","author":"Flashner","year":"1988","journal-title":"Internat. J. Non-linear Mech."},{"key":"10.1016\/j.tcs.2016.06.009_br0300","first-page":"209","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"Fr\u00e4nzle","year":"2007","journal-title":"J. Satisf. Boolean Model. Comput."},{"key":"10.1016\/j.tcs.2016.06.009_br0310","series-title":"43rd IEEE Conference on Decision and Control (CDC)","first-page":"2256","article-title":"An algorithm for reachability computations on hybrid automata models of protein signaling networks","author":"Ghosh","year":"2004"},{"issue":"S2","key":"10.1016\/j.tcs.2016.06.009_br0320","article-title":"Verification of safety and liveness properties of metric transition systems","volume":"11","author":"Girard","year":"2012","journal-title":"ACM Trans. Emb. Comput. Syst."},{"key":"10.1016\/j.tcs.2016.06.009_br0330","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCS.2008.931718","article-title":"Hybrid dynamical systems: robust stability and control for systems that combine continuous-time and discrete-time dynamics","volume":"29","author":"Goebel","year":"2009","journal-title":"IEEE Control Syst. Mag."},{"issue":"4","key":"10.1016\/j.tcs.2016.06.009_br0340","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1080\/00207177308932431","article-title":"On practical stability","volume":"17","author":"Gruji\u0107","year":"1973","journal-title":"Internat. J. Control"},{"key":"10.1016\/j.tcs.2016.06.009_br0350","series-title":"Fluid Mechanics and the Environment: Dynamical Approaches","first-page":"107","article-title":"Computing periodic orbits","volume":"vol. 566","author":"Guckenheimer","year":"2001"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0360","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.arcontrol.2009.03.002","article-title":"Safety verification and reachability analysis for hybrid systems","volume":"33","author":"Gu\u00e9guen","year":"2009","journal-title":"Ann. Rev. Control"},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0370","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1093\/imanum\/2.3.303","article-title":"Numerical solution of the stable, non-negative definite Lyapunov equation","volume":"2","author":"Hammarling","year":"1982","journal-title":"IMA J. Numer. Anal."},{"key":"10.1016\/j.tcs.2016.06.009_br0380","doi-asserted-by":"crossref","first-page":"968","DOI":"10.1002\/cta.521","article-title":"Global hybrid modelling and control of a buck converter: a novel concept","volume":"37","author":"Hejri","year":"2008","journal-title":"Internat. J. Circuit Theory Appl."},{"key":"10.1016\/j.tcs.2016.06.009_br0390","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","article-title":"What's decidable about hybrid automata?","volume":"57","author":"Henzinger","year":"1998","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/j.tcs.2016.06.009_br0400","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"2007"},{"key":"10.1016\/j.tcs.2016.06.009_br0410","author":"A.H. iSAT Developer Team"},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0420","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0167-6911(99)00059-6","article-title":"On the regularization of Zeno hybrid automata","volume":"38","author":"Johansson","year":"1999","journal-title":"Systems Control Lett."},{"key":"10.1016\/j.tcs.2016.06.009_br0430","series-title":"HSCC 2008","first-page":"301","article-title":"Safety and liveness in intelligent intersections","volume":"vol. 4981","author":"Kowshik","year":"2008"},{"key":"10.1016\/j.tcs.2016.06.009_br0440","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Syst."},{"key":"10.1016\/j.tcs.2016.06.009_br0450","series-title":"Practical Stability of Nonlinear Systems","author":"Lakshmikantham","year":"1990"},{"key":"10.1016\/j.tcs.2016.06.009_br0460","series-title":"Switching in Systems and Control","author":"Liberzon","year":"2003"},{"key":"10.1016\/j.tcs.2016.06.009_br0470","series-title":"Proceedings of the 8th International Conference on Control, Automation Robotics and Vision, vol. 1","first-page":"1368","article-title":"Bridge the gap between the PWL Lorenz and PWL Chen's system","author":"Liu","year":"2004"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0480","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 Trans. Automat. Control"},{"key":"10.1016\/j.tcs.2016.06.009_br0490","series-title":"FORMATS","first-page":"286","article-title":"Composing stability proofs for hybrid systems","volume":"vol. 6919","author":"Mitrohin","year":"2011"},{"key":"10.1016\/j.tcs.2016.06.009_br0500","series-title":"Proceedings of the 11th International Workshop on Variable Structure Systems","first-page":"325","article-title":"Bringing order to chaos: hybrid modelling of a discontinuous chaotic system","author":"Navarro-L\u00f3pez","year":"2010"},{"issue":"11","key":"10.1016\/j.tcs.2016.06.009_br0510","doi-asserted-by":"crossref","first-page":"1883","DOI":"10.1080\/00207721.2010.495189","article-title":"Hybrid automata: an insight into the discrete abstraction of discontinuous systems","volume":"42","author":"Navarro-L\u00f3pez","year":"2011","journal-title":"Internat. J. Systems Sci."},{"key":"10.1016\/j.tcs.2016.06.009_br0520","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.jsv.2007.06.037","article-title":"Avoiding harmful oscillations in a drillstring through dynamical analysis","volume":"307","author":"Navarro-L\u00f3pez","year":"2007","journal-title":"J. Sound Vib."},{"issue":"5","key":"10.1016\/j.tcs.2016.06.009_br0530","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1016\/j.epsr.2008.10.018","article-title":"Design of practical sliding-mode controllers with constant switching frequency for power converters","volume":"79","author":"Navarro-L\u00f3pez","year":"2009","journal-title":"Electric Power Syst. Res."},{"issue":"12","key":"10.1016\/j.tcs.2016.06.009_br0540","doi-asserted-by":"crossref","first-page":"3196","DOI":"10.1109\/TAC.2013.2261185","article-title":"Group and total dissipativity and stability of multi-equilibria hybrid automata","volume":"58","author":"Navarro-L\u00f3pez","year":"2013","journal-title":"IEEE Trans. Automat. Control"},{"issue":"5","key":"10.1016\/j.tcs.2016.06.009_br0550","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/81.232578","article-title":"Lyapunov functions for a class of nonlinear systems","volume":"40","author":"Ohta","year":"1993","journal-title":"IEEE Trans. Circuits Syst. I Fund. Theory Appl."},{"issue":"3","key":"10.1016\/j.tcs.2016.06.009_br0560","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","article-title":"Proving liveness properties of concurrent programs","volume":"4","author":"Owicki","year":"1982","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.tcs.2016.06.009_br0570","series-title":"Distributed Systems: Methods and Tools for Specification. An Advanced Course","volume":"vol. 190","year":"1985"},{"key":"10.1016\/j.tcs.2016.06.009_br0580","series-title":"Automated Reasoning","first-page":"171","article-title":"KeYmaera: a hybrid theorem prover for hybrid systems (system description)","volume":"vol. 5195","author":"Platzer","year":"2008"},{"key":"10.1016\/j.tcs.2016.06.009_br0590","series-title":"Proceedings of the 18th International Symposium on the Foundations of Computer Science","first-page":"46","article-title":"The temporal logic of programs","author":"Pnueli","year":"1977"},{"key":"10.1016\/j.tcs.2016.06.009_br0600","series-title":"Hybrid Systems: Computation and Control","first-page":"507","article-title":"Model checking of hybrid systems: from reachability towards stability","volume":"vol. 3927","author":"Podelski","year":"2006"},{"key":"10.1016\/j.tcs.2016.06.009_br0610","series-title":"Hybrid Systems: Computation and Control","first-page":"750","article-title":"A sound and complete proof rule for region stability of hybrid systems","volume":"vol. 4416","author":"Podelski","year":"2007"},{"key":"10.1016\/j.tcs.2016.06.009_br0620","series-title":"Hybrid Systems: Computation and Control","first-page":"477","article-title":"Safety verification of hybrid systems using barrier certificates","volume":"vol. 2993","author":"Prajna","year":"2004"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0630","first-page":"573","article-title":"Safety verification of hybrid systems by constraint propagation-based abstraction refinement","volume":"6","author":"Ratschan","year":"2007","journal-title":"ACM Trans. Emb. Comput. Syst."},{"key":"10.1016\/j.tcs.2016.06.009_br0640","series-title":"Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems","first-page":"371","article-title":"Verification-integrated falsification of non-deterministic hybrid systems","author":"Ratschan","year":"2006"},{"key":"10.1016\/j.tcs.2016.06.009_br0650","series-title":"Proceedings of the 40th IEEE Conference on Decision and Control (CDC), vol. 3","first-page":"2867","article-title":"An assessment of the current status of algorithmic approaches to the verification of hybrid systems","author":"Silva","year":"2001"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0660","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s10703-011-0118-0","article-title":"Verification of continuous dynamical systems by timed automata","volume":"39","author":"Sloth","year":"2011","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.tcs.2016.06.009_br0670","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1002\/rnc.593","article-title":"An invariant-based approach to the design of hybrid control systems","volume":"11","author":"Stiver","year":"2001","journal-title":"Internat. J. Robust Nonlinear Control"},{"key":"10.1016\/j.tcs.2016.06.009_br0680","series-title":"Hybrid Systems IV","first-page":"361","article-title":"Comparing timed and hybrid automata as approximations of continuous systems","author":"Stursberg","year":"1997"},{"key":"10.1016\/j.tcs.2016.06.009_br0690","series-title":"International Conference on Parallel Processing, vol. 2","first-page":"69","article-title":"Definitions and detection of deadlock, livelock, and starvation in concurrent programs","author":"Tai","year":"1994"},{"issue":"4","key":"10.1016\/j.tcs.2016.06.009_br0700","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/9.664154","article-title":"Conflict resolution for air traffic management: a study in multiagent hybrid systems","volume":"43","author":"Tomlin","year":"1998","journal-title":"IEEE Trans. Automat. Control"},{"key":"10.1016\/j.tcs.2016.06.009_br0710","series-title":"Sliding Modes in Control Optimization","author":"Utkin","year":"1992"},{"key":"10.1016\/j.tcs.2016.06.009_br0720","series-title":"Proceedings of the European Conference on Circuit Theory and Design","first-page":"1065","article-title":"A polynomial-time algorithm for determining quadratic Lyapunov functions for nonlinear systems","author":"Vandenberghe","year":"1993"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0730","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1073\/pnas.54.1.44","article-title":"On the stability of systems defined over a finite time interval","volume":"54","author":"Weiss","year":"1965","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"1","key":"10.1016\/j.tcs.2016.06.009_br0740","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TAC.1967.1098483","article-title":"Finite time stability under perturbing forces and on product spaces","volume":"12","author":"Weiss","year":"1967","journal-title":"IEEE Trans. Automat. Control"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397516302456?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397516302456?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T19:47:22Z","timestamp":1600804042000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397516302456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":74,"alternative-id":["S0304397516302456"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2016.06.009","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2016,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Deadness and how to disprove liveness in hybrid dynamical systems","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2016.06.009","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}