{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:54:53Z","timestamp":1757627693693,"version":"3.44.0"},"reference-count":36,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1999,12,16]],"date-time":"1999-12-16T00:00:00Z","timestamp":945302400000},"content-version":"vor","delay-in-days":1779,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1016\/0304-3975(94)00150-h","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:37:28Z","timestamp":1051738648000},"page":"141-168","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":23,"title":["Viability in hybrid systems"],"prefix":"10.1016","volume":"138","author":[{"given":"Wolf","family":"Kohn","sequence":"first","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Yakhnis","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)00150-H_BIB1","series-title":"Hybrid Systems","article-title":"Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems","author":"Alur","year":"1993"},{"year":"1982","series-title":"Convex Analysis and Optimization","author":"Aubin","key":"10.1016\/0304-3975(94)00150-H_BIB2"},{"year":"1984","series-title":"Differential Inclusions, Set Values Maps and Viability","author":"Aubin","key":"10.1016\/0304-3975(94)00150-H_BIB3"},{"year":"1990","series-title":"Set Valued Analysis","author":"Aubin","key":"10.1016\/0304-3975(94)00150-H_BIB4"},{"year":"1991","series-title":"Viability Theory","author":"Aubin","key":"10.1016\/0304-3975(94)00150-H_BIB5"},{"year":"1984","series-title":"Applied Non-Linear Analysis","author":"Aubin","key":"10.1016\/0304-3975(94)00150-H_BIB6"},{"article-title":"Infinite Dimensional Optimization and Convexity","year":"1983","author":"Ekeland","key":"10.1016\/0304-3975(94)00150-H_BIB7"},{"year":"1976","series-title":"Convex Analysis and Variational Problems","author":"Ekeland","key":"10.1016\/0304-3975(94)00150-H_BIB8"},{"year":"1988","series-title":"Differential Equations with Discontinuous Right Hand Part","author":"Filippov","key":"10.1016\/0304-3975(94)00150-H_BIB9"},{"key":"10.1016\/0304-3975(94)00150-H_BIB10","article-title":"Algorithms for chattering approximations to relaxed optimal controls","author":"Ge","year":"1994","journal-title":"MSI Tech. Report 94-23"},{"year":"1993","series-title":"Hybrid Systems","key":"10.1016\/0304-3975(94)00150-H_BIB11"},{"key":"10.1016\/0304-3975(94)00150-H_BIB12","first-page":"2981","article-title":"Simulation for hybrid and nonlinear control","volume":"Vol. 3","author":"Guckenheimer","year":"1992"},{"key":"10.1016\/0304-3975(94)00150-H_BIB13","series-title":"Proc. 27th CDC","first-page":"130","article-title":"A Declarative theory for rational controllers","author":"Kohn","year":"1988"},{"key":"10.1016\/0304-3975(94)00150-H_BIB14","series-title":"Proc. AIAA","article-title":"Hierarchical control systems for autonomous space robots","author":"Kohn","year":"1988"},{"key":"10.1016\/0304-3975(94)00150-H_BIB15","series-title":"Boeing Document G-6630-061","article-title":"Application of declarative hierarchical methodology for the flight telerobotic services","author":"Kohn","year":"1988"},{"article-title":"The rational tree machine: technical description and mathematical foundations","year":"1989","author":"Kohn","key":"10.1016\/0304-3975(94)00150-H_BIB16"},{"key":"10.1016\/0304-3975(94)00150-H_BIB17","article-title":"Rational algebras: a constructive approach","author":"Kohn","year":"1989","journal-title":"IR and DBE-499, Tech. Document D-905-10107-2"},{"key":"10.1016\/0304-3975(94)00150-H_BIB18","article-title":"Cruise missile mission planning: a declarative control approach","author":"Kohn","year":"1989","journal-title":"Boeing Computer Services Tech. Report"},{"key":"10.1016\/0304-3975(94)00150-H_BIB19","series-title":"Proc. 5th IEEE Internat. Symp. Intelligent Cont.","first-page":"794","article-title":"Declarative multiplexed rational controllers","author":"Kohn","year":"1990"},{"key":"10.1016\/0304-3975(94)00150-H_BIB20","article-title":"Advanced architecture and methods for knowledge-based planning and declarative control","author":"Kohn","year":"1990","journal-title":"Boeing Computer Services Tech. Document IRD BCS-021 in ISMIS 91"},{"key":"10.1016\/0304-3975(94)00150-H_BIB21","first-page":"40","article-title":"Symbolic design and analysis in control","author":"Kohn","year":"1989"},{"key":"10.1016\/0304-3975(94)00150-H_BIB22","unstructured":"W. Kohn and A. Murphy, Multiple agent reactive shop control, ISMIS 91."},{"key":"10.1016\/0304-3975(94)00150-H_BIB23","series-title":"Proc. IEEE CACSD92","article-title":"An autonomous control theory: an overview","author":"Kohn","year":"1992"},{"key":"10.1016\/0304-3975(94)00150-H_BIB24","series-title":"Proc. 31st IEEE CDC","first-page":"2956","article-title":"Multiple agent autonomous control systems","author":"Kohn","year":"1993"},{"key":"10.1016\/0304-3975(94)00150-H_BIB25","series-title":"Hybrid Systems","article-title":"Models for hybrid systems: automata, topologies, controllability, observability","author":"Kohn","year":"1993"},{"key":"10.1016\/0304-3975(94)00150-H_BIB26","series-title":"Logical Methods","article-title":"Multiple agent autonomous control, a hybrid systems architecture","author":"Kohn","year":"1993"},{"key":"10.1016\/0304-3975(94)00150-H_BIB27","series-title":"Summaries of Talks at the AMS Summer Institute in Mathematical Logic","article-title":"General topology and partial recursive functionals","author":"Nerode","year":"1957"},{"key":"10.1016\/0304-3975(94)00150-H_BIB28","series-title":"Proc. 9th IEEE Conf. on Intelligent Control","article-title":"Hybrid systems and continuous sensing games","author":"Nerode","year":"1993"},{"key":"10.1016\/0304-3975(94)00150-H_BIB29","article-title":"Hybrid system games: extraction of control automata with small topologies","author":"Nerode","year":"1993","journal-title":"MSI Tech. Report 93-102"},{"key":"10.1016\/0304-3975(94)00150-H_BIB30","first-page":"2947","volume":"CDC92","author":"Nerode","year":"1992","journal-title":"Modelling hybrid systems as games"},{"key":"10.1016\/0304-3975(94)00150-H_BIB31","article-title":"Hybrid games and hybrid systems","author":"Nerode","year":"1993","journal-title":"MSI Tech. Report 93-77"},{"key":"10.1016\/0304-3975(94)00150-H_BIB32","article-title":"Control automata and fixed points of set-valued operators for discrete sensing hybrid systems","author":"Nerode","year":"1993","journal-title":"MSI Tech. Report 93-105"},{"key":"10.1016\/0304-3975(94)00150-H_BIB33","article-title":"An example of extraction of a finite control automaton and A. Nerode's AD-converter for a discrete sensing hybrid system","author":"Nerode","year":"1993","journal-title":"MSI Tech. Report 93-104"},{"year":"1976","series-title":"Optimization","author":"Neustadt","key":"10.1016\/0304-3975(94)00150-H_BIB34"},{"year":"1972","series-title":"Optimal Control of Differential and Functional Equations","author":"Warga","key":"10.1016\/0304-3975(94)00150-H_BIB35"},{"year":"1980","series-title":"Optimal Control Theory","author":"Young","key":"10.1016\/0304-3975(94)00150-H_BIB36"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400150H?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400150H?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:17:46Z","timestamp":1757477866000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759400150H"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["030439759400150H"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)00150-h","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[1995,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Viability in hybrid systems","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0304-3975(94)00150-H","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1995 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}