{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:30:06Z","timestamp":1743078606044,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319028118"},{"type":"electronic","value":"9783319028125"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02812-5_8","type":"book-chapter","created":{"date-parts":[[2013,10,4]],"date-time":"2013-10-04T09:33:23Z","timestamp":1380879203000},"page":"97-111","source":"Crossref","is-referenced-by-count":2,"title":["A Hybrid Event-B Study of Lane Centering"],"prefix":"10.1007","author":[{"given":"Richard","family":"Banach","sequence":"first","affiliation":[]},{"given":"Michael","family":"Butler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"KeYmaera, \n                  http:\/\/symbolaris.com"},{"key":"8_CR2","unstructured":"Report: Cyber-Physical Systems (2008), \n                  http:\/\/iccps2012.cse.wustl.edu\/_doc\/CPS_Summit_Report.pdf"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B. STTT\u00a012, 447 (2010)","journal-title":"STTT"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45449-7_2","volume-title":"Embedded Software","author":"R. Alur","year":"2001","unstructured":"Alur, R., et al.: Hierarchical Hybrid Modeling of Embedded Systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 14\u201331. Springer, Heidelberg (2001)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular Specification of Hybrid Systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 6\u201319. Springer, Heidelberg (2000)"},{"key":"8_CR7","first-page":"181","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T., Ho, P.: Automatic Symbolic Verification of Embedded Systems. IEEE TSE\u00a022, 181\u2013201 (1996)","journal-title":"IEEE TSE"},{"key":"8_CR8","unstructured":"Antsaklis, P., Michel, A.: Linear Systems. Birkhauser (2006)"},{"key":"8_CR9","unstructured":"Astrom, K., Wittenmark, B.: Adaptive Control. Dover (2008)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-39718-9_5","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2013","author":"R. Banach","year":"2013","unstructured":"Banach, R., Butler, M.: Cruise Control in Hybrid Event-B. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) ICTAC 2013. LNCS, vol.\u00a08049, pp. 76\u201393. Springer, Heidelberg (2013)"},{"key":"8_CR11","unstructured":"Banach, R., Butler, M., Qin, S., Verma, N., Zhu, H.: Core Hybrid Event-B: Adding Continuous Behaviour to Event-B (2012) (submitted)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s12652-011-0062-2","volume":"2","author":"L. Barolli","year":"2011","unstructured":"Barolli, L., Takizawa, M., Hussain, F.: Special Issue on Emerging Trends in Cyber-Physical Systems. J. Amb. Intel. Hum. Comp.\u00a02, 249\u2013250 (2011)","journal-title":"J. Amb. Intel. Hum. Comp."},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-00255-7_2","volume-title":"Integrated Formal Methods","author":"M. Butler","year":"2009","unstructured":"Butler, M.: Decomposition Strategies for Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 20\u201338. Springer, Heidelberg (2009)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/1000000001","volume":"1","author":"L. Carloni","year":"2006","unstructured":"Carloni, L., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation\u00a01, 1\u2013193 (2006)","journal-title":"Foundations and Trends in Electronic Design Automation"},{"key":"8_CR15","unstructured":"Clarke, F., Ledyaev, Y., Stern, R., Wolenski, P.: Nonsmooth Analysis and Control Theory. Springer (1997)"},{"key":"8_CR16","unstructured":"DEPLOY: European Project DEPLOY IST-511599, \n                  http:\/\/www.deploy-project.eu\/"},{"key":"8_CR17","first-page":"110","volume":"1","author":"T. Henzinger","year":"1997","unstructured":"Henzinger, T., Ho, P., Wong-Toi, H.: HyTech: A Model Checker for Hybrid Systems. IJSTTT\u00a01, 110\u2013122 (1997)","journal-title":"IJSTTT"},{"key":"8_CR18","unstructured":"KeY, \n                  http:\/\/www.key-project.org"},{"key":"8_CR19","unstructured":"Kirk, D.: Optimal Control Theory: An Introduction. Dover (2004)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Lewis, F., Vrabie, D., Syrmos, V.: Optimal Control. Wiley (2012)","DOI":"10.1002\/9781118122631"},{"key":"8_CR21","unstructured":"Mathematica, \n                  http:\/\/www.wolfram.com"},{"key":"8_CR22","unstructured":"MATLAB and SIMULINK, \n                  http:\/\/www.mathworks.com"},{"key":"8_CR23","unstructured":"MODELICA, \n                  https:\/\/www.modelica.org\/"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer (2010)","DOI":"10.1007\/978-3-642-14509-4"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-540-31954-2_37","volume-title":"Hybrid Systems: Computation and Control","author":"S. Ratschan","year":"2005","unstructured":"Ratschan, S., She, Z.: Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 573\u2013589. Springer, Heidelberg (2005)"},{"key":"8_CR26","unstructured":"RODIN: European Project RODIN (Rigorous Open Development for Complex Systems) IST-511599, \n                  http:\/\/rodin.cs.ncl.ac.uk\/"},{"key":"8_CR27","unstructured":"RODIN Tool, \n                  http:\/\/www.event-b.org\/\n                , \n                  http:\/\/www.rodintools.org\/\n                , \n                  http:\/\/sourceforge.net\/projects\/rodin-b-sharp\/"},{"key":"8_CR28","unstructured":"Sastry, S., Wittenmark, B.: Adaptive Control: Stability, Convergence and Robustness. Dover (2011)"},{"key":"8_CR29","unstructured":"Silva, B., Richeson, K., Krogh, B., Chutinan, A.: Modeling and Verifying Hybrid Dynamic Systems using CheckMate. In: Proc. 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000), pp. 323\u2013328 (2000)"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21437-0_1","volume-title":"FM 2011: Formal Methods","author":"J. Sztipanovits","year":"2011","unstructured":"Sztipanovits, J.: Model Integration and Cyber Physical Systems: A Semantics Perspective. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, p. 1. Springer, Heidelberg (2011), \n                  http:\/\/sites.lero.ie\/download.aspx?f=Sztipanovits-Keynote.pdf"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Walter, W.: Ordinary Differential Equations. Springer (1998)","DOI":"10.1007\/978-1-4612-0601-9"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s13174-010-0004-9","volume":"1","author":"J. White","year":"2010","unstructured":"White, J., Clarke, S., Groba, C., Dougherty, B., Thompson, C., Schmidt, D.: R&D Challenges and Solutions for Mobile Cyber-Physical Applications and Supporting Internet Services. J. Internet Serv. Appl.\u00a01, 45\u201356 (2010)","journal-title":"J. Internet Serv. Appl."},{"key":"8_CR33","unstructured":"Willems, J.: Open Dynamical Systems: Their Aims and their Origins. Ruberti Lecture, Rome (2007), \n                  http:\/\/homes.esat.kuleuven.be\/~jwillems\/Lectures\/2007\/Rubertilecture.pdf"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Yeganefard, S., Butler, M.: Control Systems: Phenomena and Structuring Functional Requirement Documents. In: Proc. ICECCS 2012, pp. 39\u201348. IEEE (2012)","DOI":"10.1109\/ICECCS20050.2012.6299249"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02812-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T04:16:17Z","timestamp":1675224977000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02812-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319028118","9783319028125"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02812-5_8","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}