{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:18:39Z","timestamp":1761675519045},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733676"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73368-3_48","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T22:29:34Z","timestamp":1188426574000},"page":"463-476","source":"Crossref","is-referenced-by-count":24,"title":["Hybrid Systems: From Verification to Falsification"],"prefix":"10.1007","author":[{"given":"Erion","family":"Plaku","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lydia E.","family":"Kavraki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-540-24743-2_25","volume-title":"Hybrid Systems: Computation and Control","author":"W. Glover","year":"2004","unstructured":"Glover, W., Lygeros, J.: A stochastic hybrid model for air traffic control simulation. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 372\u2013386. Springer, Heidelberg (2004)"},{"issue":"7","key":"48_CR2","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1109\/5.871312","volume":"88","author":"D. Pepyne","year":"2000","unstructured":"Pepyne, D., Cassandras, C.: Optimal control of hybrid systems in manufacturing. Proceedings of IEEE\u00a088(7), 1108\u20131123 (2000)","journal-title":"Proceedings of IEEE"},{"volume-title":"Nonlinear and Hybrid Systems in Automotive Control","year":"2003","key":"48_CR3","unstructured":"Johansson, R., Rantzer, A. (eds.): Nonlinear and Hybrid Systems in Automotive Control. Springer, London, UK (2003)"},{"issue":"3","key":"48_CR4","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artmed.2004.07.005","volume":"32","author":"G. Dounias","year":"2004","unstructured":"Dounias, G., Linkens, D.A.: Adaptive systems and hybrid computational intelligence in medicine. Artificial Intelligence in Medicine\u00a032(3), 151\u2013155 (2004)","journal-title":"Artificial Intelligence in Medicine"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/11513988_3","volume-title":"Computer Aided Verification","author":"C. Piazza","year":"2005","unstructured":"Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking I: Challenges from systems biology. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 5\u201319. Springer, Heidelberg (2005)"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) Hybrid Systems. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"key":"48_CR7","first-page":"373","volume-title":"STOC","author":"T. Henzinger","year":"1995","unstructured":"Henzinger, T., Kopke, P., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: STOC, pp. 373\u2013382. ACM Press, New York (1995)"},{"key":"48_CR8","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proc. 11th IEEE Symp. on Logic in Computer Science, DIMACS","author":"T. Henzinger","year":"1996","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proc. 11th IEEE Symp. on Logic in Computer Science, DIMACS, pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"48_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"Hybrid Systems: Computation and Control","author":"G. Lafferriere","year":"1999","unstructured":"Lafferriere, G., Pappas, G., Yovine, S.: A new class of decidable hybrid systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 137\u2013151. Springer, Heidelberg (1999)"},{"key":"48_CR10","unstructured":"Puri, A.: Theory of Hybrid Systems and Discrete Event Systems. PhD thesis, University of California, Berkeley (1995)"},{"issue":"7","key":"48_CR11","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C.J. Tomlin","year":"2003","unstructured":"Tomlin, C.J., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification and control of hybrid systems. Proc. of IEEE\u00a091(7), 986\u20131001 (2003)","journal-title":"Proc. of IEEE"},{"issue":"1","key":"48_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/TAC.2002.806655","volume":"48","author":"C. Chutinan","year":"2003","unstructured":"Chutinan, C., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control\u00a048(1), 64\u201375 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Silva, B., Stursberg, O., Krogh, B., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: IEEE Conf. on Decision and Control. vol.\u00a03, pp. 2867\u20132874 (2001)","DOI":"10.1109\/CDC.2001.980711"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Esposito, J.M., Kim, J., Kumar, V.: Adaptive RRTs for validating hybrid robotic control systems. In: WAFR, Zeist, Netherlands, pp. 107\u2013132 (2004)","DOI":"10.1007\/10991541_9"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Kim, J., Esposito, J.M., Kumar, V.: An RRT-based algorithm for testing and validating multi-robot controllers. In: RSS, Boston, MA, pp. 249\u2013256 (2005)","DOI":"10.15607\/RSS.2005.I.033"},{"key":"48_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/3-540-44585-4_43","volume-title":"Computer Aided Verification","author":"F. Copty","year":"2001","unstructured":"Copty, F., Fix, L., Fraer, R., Giunchiglia, E., Kamhi, G., Tacchella, A., Vardi, M.: Benefits of bounded model checking at an industrial setting. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 436\u2013453. Springer, Heidelberg (2001)"},{"key":"48_CR17","volume-title":"Principles of Robot Motion: Theory, Algorithms, and Implementations","author":"H. Choset","year":"2005","unstructured":"Choset, H., Lynch, K.M., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L.E., Thrun, S.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press, Cambridge, MA (2005)"},{"key":"48_CR18","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546877","volume-title":"Planning Algorithms","author":"S.M. LaValle","year":"2006","unstructured":"LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)"},{"key":"48_CR19","unstructured":"LaValle, S.M., Kuffner, J.J.: Rapidly-exploring random trees: Progress and prospects. In: Donald, B.R., Lynch, K., Rus, D. (eds.) WAFR, pp. 293\u2013308 (2000)"},{"issue":"3","key":"48_CR20","first-page":"233","volume":"21","author":"D. Hsu","year":"2002","unstructured":"Hsu, D., Kindel, R., Latombe, J.C., Rock, S.: Randomized kinodynamic motion planning with moving obstacles. IJRR\u00a021(3), 233\u2013255 (2002)","journal-title":"IJRR"},{"issue":"4","key":"48_CR21","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1109\/TRO.2005.847599","volume":"21","author":"E. Plaku","year":"2005","unstructured":"Plaku, E., Bekris, K.E., Chen, B.Y., Ladd, A.M., Kavraki, L.E.: Sampling-based roadmap of trees for parallel motion planning. IEEE Trans. on Robotics\u00a021(4), 597\u2013608 (2005)","journal-title":"IEEE Trans. on Robotics"},{"key":"48_CR22","unstructured":"Ladd, A.M., Kavraki, L.E.: Motion planning in the presence of drift, underactuation and discrete system changes. In: RSS, Boston, MA, pp. 233\u2013241 (2005)"},{"key":"48_CR23","doi-asserted-by":"crossref","unstructured":"Bekris, K.E., Kavraki, L.E.: Greedy but safe replanning under kinodynamic constraints. In: IEEE ICRA, Rome, Italy (2007)","DOI":"10.1109\/ROBOT.2007.363069"},{"key":"48_CR24","doi-asserted-by":"crossref","unstructured":"Plaku, E., Vardi, M.Y., Kavraki, L.E.: Discrete search leading continuous exploration for kinodynamic motion planning. In: RSS, Atlanta, GA (2007)","DOI":"10.15607\/RSS.2007.III.040"},{"issue":"4","key":"48_CR25","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1109\/70.508439","volume":"12","author":"L.E. Kavraki","year":"1996","unstructured":"Kavraki, L.E., \u0160vestka, P., Latombe, J.C., Overmars, M.H.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Transactions on Robotics and Automation\u00a012(4), 566\u2013580 (1996)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"48_CR26","doi-asserted-by":"crossref","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: A motion planner for a hybrid robotic system with kinodynamic constraints. In: IEEE ICRA, Rome, Italy (2007)","DOI":"10.1109\/ROBOT.2007.363067"},{"key":"48_CR27","volume-title":"State-space Search: Algorithms, Complexity, Extensions, and Applications","author":"W. Zhang","year":"2006","unstructured":"Zhang, W.: State-space Search: Algorithms, Complexity, Extensions, and Applications. Springer, New York (2006)"},{"key":"48_CR28","first-page":"317","volume-title":"Proc. 36th Design Automation Conference","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Proc. 36th Design Automation Conference, pp. 317\u2013320. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"48_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11691617_1","volume-title":"Model Checking Software","author":"S. Edelkamp","year":"2006","unstructured":"Edelkamp, S., Jabbar, S.: Large-scale directed model checking ltl. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol.\u00a03925, pp. 1\u201318. Springer, Heidelberg (2006)"},{"issue":"2","key":"48_CR30","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J. Burch","year":"1992","unstructured":"Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic model checking: 1020 states and beyond. Information and Computation\u00a098(2), 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"48_CR31","unstructured":"Ladd, A.M.: Motion Planning for Physical Simulation. PhD thesis, Rice University, Houston, TX (2006)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73368-3_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:08:38Z","timestamp":1619518118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73368-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733676"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73368-3_48","relation":{},"subject":[]}}