{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T06:04:49Z","timestamp":1773295489897,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540009139","type":"print"},{"value":"9783540365808","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36580-x_26","type":"book-chapter","created":{"date-parts":[[2007,12,9]],"date-time":"2007-12-09T12:13:36Z","timestamp":1197202416000},"page":"343-358","source":"Crossref","is-referenced-by-count":17,"title":["Safety Verification of Model Helicopter Controller Using Hybrid Input\/Output Automata"],"prefix":"10.1007","author":[{"given":"Sayan","family":"Mitra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Feron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"1","key":"26_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, P.-H. Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Eugene Asarin, Olivier Bournez, Thao Dang, Amir Pnueli, and Oded Maler. Effective synthesis of switching controllers for linear systems. In Proceedings of IEEE, volume 88, pages 1011-1025, July dy2000.","DOI":"10.1109\/5.871306"},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45873-5_10","volume-title":"Hybrid Systems: Computation and Control 2002","author":"A. M. Bayen","year":"2002","unstructured":"Alexandre M. Bayen, Eva Cruck, and Claire Tomlin. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: solving the hamilton-jacobi equation using viability techniques. In Hybrid Systems: Computation and Control 2002, volume 2289 of LNCS, pages 90\u2013104. Springer, March 2002."},{"key":"26_CR4","unstructured":"Enrique D. Ferreira and Bruce H. Krogh. Switching controllers based on neural network: Estimates of stability regions and controller performance. In Hybrid Systems: Computation and Control 1998, pages 126\u2013142, 1998."},{"key":"26_CR5","series-title":"Technical report","volume-title":"IOA: A language for specifying, programming and validating distributed systems","author":"S. Garland","year":"1999","unstructured":"Stephen Garland, Nancy Lynch, and Mandana Vaziri. IOA: A language for specifying, programming and validating distributed systems. Technical report, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, October 1999."},{"key":"26_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification (CAV\u2019 97)","author":"T. A. Henzinger","year":"1997","unstructured":"Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. Hytech: A model checker for hybrid systems. In Computer Aided Verification (CAV\u2019 97), volume 1254 of Lecture Notes in Computer Science, pages 460\u2013483, 1997."},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What\u2019s decidable about hybrid automata? In ACM Symposium on Theory of Computing, pages 373\u2013382, 1995.","DOI":"10.1145\/225058.225162"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Carolos Livadas, John Lygeros, and Nancy A. Lynch. High-level modeling and analysis of TCAS. In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS\u201999), Phoenix, Arizona, pages 115\u2013125, December 1999.","DOI":"10.1109\/REAL.1999.818833"},{"key":"26_CR9","volume-title":"Introduction to Dynamic Systems: Theory, Models, and Applications","author":"D. G. Luenberger","year":"1979","unstructured":"David G. Luenberger. Introduction to Dynamic Systems: Theory, Models, and Applications. John Wiley and Sons, Inc., New York, 1979."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"John Lygeros, Claire Tomlin, and Shankar Sastry. Controllers for reachability specifications for hybrid systems. In Automatica, volume 35, March 1999.","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"26_CR11","unstructured":"Nancy Lynch. A three-level analysis of a simple acceleration maneuver, with uncertainties. In Proceedings of the Third AMAST Workshop on Real-Time Systems, pages 1\u201322, Salt Lake City, Utah, March 1996. World Scientific Publishing Company."},{"key":"26_CR12","unstructured":"Nancy Lynch, Roberto Segala, and Frits Vaandraager. Hybrid I\/O automata. To appear in Information and Computation. Also, Technical Report MIT-LCS-TR-827d, MIT Laboratory for Computer Science Technical Report, Cambridge, MA 02139, January 13, 2003. \n                    http:\/\/www.theory.lcs.mit.edu\/tds\/papers\/Lynch\/HIOA-final.ps\n                    \n                  ."},{"key":"26_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems III","author":"N. Lynch","year":"1995","unstructured":"Nancy Lynch, Roberto Segala, Frits Vaandrager, and H. B. Weinberg. Hybrid I\/O automata. In T. Henzinger R. Alur and E. Sontag, editors, Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, New Brunswick, New Jersey, October 1995. Springer-Verlag."},{"key":"26_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings Fourth International Workshop on Hybrid Systems: Computation and Control (HSCC\u201901),Rome, Italy","author":"N. A. Lynch","year":"2001","unstructured":"Nancy A. Lynch, Roberto Segala, and Frits W. Vaandrager. Hybrid I\/O automata revisited. In M.D. Di Benedetto and A.L. Sangiovanni-Vincentelli, editors, Proceedings Fourth International Workshop on Hybrid Systems: Computation and Control (HSCC\u201901),Rome, Italy, volume 2034 of LNCS. springer, March 2001."},{"key":"26_CR15","unstructured":"Sayan Mitra. Language for Hybrid Input\/Output Automata, 2002. Work in progress. \n                    http:\/\/theory.lcs.mit.edu\/mitras\/research\/composing activities.ps\n                    \n                  ."},{"key":"26_CR16","series-title":"Technical Report","volume-title":"Application of hybrid I\/O automata in safety verification of pitch controller for model helicopter system","author":"S. Mitra","year":"2003","unstructured":"Sayan Mitra, Yong Wang, Nancy Lynch, and Eric Feron. Application of hybrid I\/O automata in safety verification of pitch controller for model helicopter system. Technical Report MIT-LCS-TR-880, MIT Laboratory for Computer Science, Cambridge, MA 02139, January 2003. \n                    http:\/\/theory.lcs.mit.edu\/~mitras\/research\/QuanTR02.ps"},{"key":"26_CR17","unstructured":"URL:. \n                    http:\/\/www.quanser.com\/english\/html\/products\/fs_product_challenge.asp?,lang_code=english&pcat_code=exp-spe&prod_code=S1-3dofheli\n                    \n                  ."},{"key":"26_CR18","unstructured":"Yong Wang, Masha Ishutkina, Sayan Mitra, Nancy A. Lynch, Eric Feron. Design of Supervisory Safety Control for 3DOF Helicopter using Hybrid I\/O Automata, 2002. pre-print \n                    http:\/\/gewurtz.mit.edu\/ishut\/darpa sec mit\/papers\/quanser.ps\n                    \n                  ."},{"key":"26_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BFb0020938","volume-title":"Hybrid Systems III: Verification and Control (DIMACS\/SYCON Workshop on Verification and Control of Hybrid Systems)","author":"H. B. Weinberg","year":"1996","unstructured":"H. B. Weinberg, Nancy Lynch, and Norman Delisle. Verification of automated vehicle protection systems. In T. Henzinger R. Alur and E. Sontag, editors, Hybrid Systems III: Verification and Control (DIMACS\/SYCON Workshop on Verification and Control of Hybrid Systems), volume 1066 of Lecture Notes in Computer Science, pages 101\u2013113, New Brunswick, New Jersey, October 1995. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36580-X_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T04:18:11Z","timestamp":1548389891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36580-X_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009139","9783540365808"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-36580-x_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}