{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T05:11:18Z","timestamp":1777439478224,"version":"3.51.4"},"reference-count":49,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T00:00:00Z","timestamp":1228089600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["NSF-CNS-0614993"],"award-info":[{"award-number":["NSF-CNS-0614993"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["F49620-02-1-0325"],"award-info":[{"award-number":["F49620-02-1-0325"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["F49620-02-1-0325"],"award-info":[{"award-number":["F49620-02-1-0325"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2008,12]]},"abstract":"<jats:p>Average dwell time (ADT) properties characterize the rate at which a hybrid system performs mode switches. In this article, we present a set of techniques for verifying ADT properties. The stability of a hybrid system A can be verified by combining these techniques with standard methods for checking stability of the individual modes of A.<\/jats:p>\n          <jats:p>\n            We introduce a new type of simulation relation for hybrid automata\u2014\n            <jats:italic>switching simulation<\/jats:italic>\n            \u2014for establishing that a given automaton A switches more rapidly than another automaton B. We show that the question of whether a given hybrid automaton has ADT \u03c4\n            <jats:sub>\n              <jats:italic>a<\/jats:italic>\n            <\/jats:sub>\n            can be answered either by checking an invariant or by solving an optimization problem. For classes of hybrid automata for which invariants can be checked automatically, the invariant-based method yields an automatic method for verifying ADT; for automata that are outside this class, the invariant has to be checked using inductive techniques. The optimization-based method is automatic and is applicable to a restricted class of initialized hybrid automata. A solution of the optimization problem either gives a counterexample execution that violates the ADT property, or it confirms that the automaton indeed satisfies the property. The optimization and the invariant-based methods can be used in combination to find the unknown ADT of a given hybrid automaton.\n          <\/jats:p>","DOI":"10.1145\/1457246.1457249","type":"journal-article","created":{"date-parts":[[2009,1,7]],"date-time":"2009-01-07T15:50:36Z","timestamp":1231343436000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Verifying average dwell time of hybrid systems"],"prefix":"10.1145","volume":"8","author":[{"given":"Sayan","family":"Mitra","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Liberzon","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 8th International Conference on Computer-Aided Verification (CAV'96)","author":"Alur R.","unstructured":"Alur R. and Henzinger , T. A. , Eds . 1996. Verification of an audio protocol with bus collision using UPPAAL . In Proceedings of the 8th International Conference on Computer-Aided Verification (CAV'96) . Springer-Verlag, Berlin, 411--414. Alur R. and Henzinger, T. A., Eds. 1996. Verification of an audio protocol with bus collision using UPPAAL. In Proceedings of the 8th International Conference on Computer-Aided Verification (CAV'96). Springer-Verlag, Berlin, 411--414."},{"key":"e_1_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems","author":"Alur R.","unstructured":"Alur , R. , Henzinger , C. C. T. A. , and Ho ., P. H. 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems . In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. Hybrid Systems . Lecture Notes in Computer Science , vol. 736 . Springer-Verlag , 209--229. Alur, R., Henzinger, C. C. T. A., and Ho., P. H. 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. Hybrid Systems. Lecture Notes in Computer Science, vol. 736. Springer-Verlag, 209--229."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 7th International Workshop (HSCC'04)","author":"Alur R.","unstructured":"Alur , R. and Pappas , G. J. , Eds . 2004. Hybrid systems: computation and control . In Proceedings of the 7th International Workshop (HSCC'04) . Springer, Berlin. Alur, R. and Pappas, G. J., Eds. 2004. Hybrid systems: computation and control. In Proceedings of the 7th International Workshop (HSCC'04). Springer, Berlin."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018913028597"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 5th International Workshop (HSCC'02)","author":"Bayen A. M.","unstructured":"Bayen , A. M. , Cruck , E. , and Tomlin , C . 2002. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: solving the hamilton-jacobi equation using viability techniques . In Proceedings of the 5th International Workshop (HSCC'02) , Springer, Berlin. Bayen, A. M., Cruck, E., and Tomlin, C. 2002. Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: solving the hamilton-jacobi equation using viability techniques. In Proceedings of the 5th International Workshop (HSCC'02), Springer, Berlin."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 10th International Workshop, (HSCC'07)","author":"Bemporad A.","unstructured":"Bemporad , A. , Bicchi , A. , and Buttazzo , G. C. , Eds . 2007 . Proceedings of the 10th International Workshop, (HSCC'07) . Springer, Berlin. Bemporad, A., Bicchi, A., and Buttazzo, G. C., Eds. 2007. Proceedings of the 10th International Workshop, (HSCC'07). Springer, Berlin."},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99)","author":"Bemporad A.","unstructured":"Bemporad , A. and Morari , M . 1999. Verification of hybrid systems via mathematical programming . In Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99) . Springer, Berlin, 31--45. Bemporad, A. and Morari, M. 1999. Verification of hybrid systems via mathematical programming. In Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99). Springer, Berlin, 31--45."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664150"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.654885"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/040619429"},{"key":"e_1_2_1_13_1","unstructured":"Cormen T. H. Leiserson C. E. and Rivest R. L. 1990. Introduction to Algorithms. MIT Press\/McGraw-Hill Cambridge MA.   Cormen T. H. Leiserson C. E. and Rivest R. L. 1990. Introduction to Algorithms. MIT Press\/McGraw-Hill Cambridge MA."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.61109"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_2_1_17_1","unstructured":"GNU. GLPK\u2014GNU linear programming kit. http:\/\/www.gnu.org\/directory\/libs\/glpk.html.  GNU. GLPK\u2014GNU linear programming kit. http:\/\/www.gnu.org\/directory\/libs\/glpk.html."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 15th IEEE Real-Time Systems Symposium","author":"Heitmeyer C.","unstructured":"Heitmeyer , C. and Lynch , N . 1994. The generalized railroad crossing: A case study in formal verification of real-time system . In Proceedings of the 15th IEEE Real-Time Systems Symposium , ( San Juan, Puerto Rico). IEEE, Los Alamitos, CA. Heitmeyer, C. and Lynch, N. 1994. The generalized railroad crossing: A case study in formal verification of real-time system. In Proceedings of the 15th IEEE Real-Time Systems Symposium, (San Juan, Puerto Rico). IEEE, Los Alamitos, CA."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97)","author":"Henzinger T. A.","unstructured":"Henzinger , T. A. , Ho , P.-H. , and Wong-Toi , H . 1997. Hytech: A model checker for hybrid systems . In Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97) . Springer, Berlin, 460--483. Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. 1997. Hytech: A model checker for hybrid systems. In Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97). Springer, Berlin, 460--483."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the International Conference on Concurrency Theory (CONCUR'96)","author":"Henzinger T. A.","unstructured":"Henzinger , T. A. and Kopke , P. W . 1996. State equivalences for rectangular hybrid automata . In Proceedings of the International Conference on Concurrency Theory (CONCUR'96) . Springer, Berlin, 530--545. Henzinger, T. A. and Kopke, P. W. 1996. State equivalences for rectangular hybrid automata. In Proceedings of the International Conference on Concurrency Theory (CONCUR'96). Springer, Berlin, 530--545."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 6th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00)","author":"Henzinger T. A.","unstructured":"Henzinger , T. A. and Majumdar , R . 2000. Symbolic model checking for rectangular hybrid systems . In Proceedings of the 6th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00) . Springer, Berlin, 142--156. Henzinger, T. A. and Majumdar, R. 2000. Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00). Springer, Berlin, 142--156."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00241-8"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of 38th IEEE Conference on Decision and Control. IEEE","author":"Hespanha J.","unstructured":"Hespanha , J. and Morse , A . 1999. Stability of switched systems with average dwell-time . In Proceedings of 38th IEEE Conference on Decision and Control. IEEE , Los Alamitos, CA, 2655--2660. Hespanha, J. and Morse, A. 1999. Stability of switched systems with average dwell-time. In Proceedings of 38th IEEE Conference on Decision and Control. IEEE, Los Alamitos, CA, 2655--2660."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06)","author":"Hespanha J. P.","unstructured":"Hespanha , J. P. and Tiwari , A. , Eds . 2006 . Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06) . Springer, Berlin. Hespanha, J. P. and Tiwari, A., Eds. 2006. Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC'06). Springer, Berlin."},{"key":"e_1_2_1_26_1","volume-title":"Nonlinear Systems","author":"Khalil H. K.","unstructured":"Khalil , H. K. 2002. Nonlinear Systems 3 rd Ed. Prentice Hall , Upper Saddle River, NJ. Khalil, H. K. 2002. Nonlinear Systems 3rd Ed. Prentice Hall, Upper Saddle River, NJ.","edition":"3"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710463"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99)","author":"Lafferriere G.","unstructured":"Lafferriere , G. , Pappas , G. J. , and Yovine , S . 1999. A new class of decidable hybrid systems . In Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99) . Springer, Berlin, 137--151. Lafferriere, G., Pappas, G. J., and Yovine, S. 1999. A new class of decidable hybrid systems. In Proceedings of the 2nd International Workshop on Hybrid Systems: Computation and Control (HSCC'99). Springer, Berlin, 137--151."},{"key":"e_1_2_1_29_1","volume-title":"Switching in Systems and Control. Systems and Control: Foundations and Applications","author":"Liberzon D.","unstructured":"Liberzon , D. 2003. Switching in Systems and Control. Systems and Control: Foundations and Applications . Birkhauser, Boston , MA. Liberzon, D. 2003. Switching in Systems and Control. Systems and Control: Foundations and Applications. Birkhauser, Boston, MA."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99)","author":"Livadas C.","unstructured":"Livadas , C. , Lygeros , J. , and Lynch , N. A . 1999. High-level modeling and analysis of TCAS . In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99) . IEEE, Los Alamitos, CA, 115--125. Livadas, C., Lygeros, J., and Lynch, N. A. 1999. High-level modeling and analysis of TCAS. In Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99). IEEE, Los Alamitos, CA, 115--125."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 3rd AMAST Workshop on Real-Time Systems. World Scientific Publishing Company","author":"Lynch N.","year":"1996","unstructured":"Lynch , N. 1996 . A three-level analysis of a simple acceleration maneuver, with uncertainties . In Proceedings of the 3rd AMAST Workshop on Real-Time Systems. World Scientific Publishing Company , Mountain View, CA, 1--22. Lynch, N. 1996. A three-level analysis of a simple acceleration maneuver, with uncertainties. In Proceedings of the 3rd AMAST Workshop on Real-Time Systems. World Scientific Publishing Company, Mountain View, CA, 1--22."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0060"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03)","author":"Maler O.","unstructured":"Maler , O. and Pnueli , A. , Eds . 2003 . Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03) . Springer, Berlin. Maler, O. and Pnueli, A., Eds. 2003. Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03). Springer, Berlin."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710472"},{"key":"e_1_2_1_37_1","first-page":"45","article-title":"PVS strategies for proving abstraction properties of automata. Electronic Notes Theore","volume":"125","author":"Mitra S.","year":"2005","unstructured":"Mitra , S. and Archer , M. 2005 . PVS strategies for proving abstraction properties of automata. Electronic Notes Theore . Comput. Sci. 125 , 2, 45 -- 65 . Mitra, S. and Archer, M. 2005. PVS strategies for proving abstraction properties of automata. Electronic Notes Theore. Comput. Sci. 125, 2, 45--65.","journal-title":"Comput. Sci."},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 10th International Workshop (HSCC'07)","author":"Mitra S.","unstructured":"Mitra , S. and Lynch , N. A . 2007. Trace-based semantics for probabilistic timed i\/o automata . In Proceedings of the 10th International Workshop (HSCC'07) , (Pisa, Italy), April 3--5. Springer, Berlin, 718--722. Mitra, S. and Lynch, N. A. 2007. Trace-based semantics for probabilistic timed i\/o automata. In Proceedings of the 10th International Workshop (HSCC'07), (Pisa, Italy), April 3--5. Springer, Berlin, 718--722."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03)","author":"Mitra S.","unstructured":"Mitra , S. , Wang , Y. , Lynch , N. , and Feron , E . 2003. Safety verification of model helicopter controller using hybrid Input\/Output automata . In Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03) . Springer, Berlin, 343--358. Mitra, S., Wang, Y., Lynch, N., and Feron, E. 2003. Safety verification of model helicopter controller using hybrid Input\/Output automata. In Proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control (HSCC'03). Springer, Berlin, 343--358."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC'05)","author":"Morari M.","unstructured":"Morari , M. and Thiele , L. , Eds . 2005 . Proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC'05) . Springer, Berlin. Morari, M. and Thiele, L., Eds. 2005. Proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control (HSCC'05). Springer, Berlin."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.539424"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of Computer-Aided Verification (CAV'96)","author":"Owre S.","unstructured":"Owre , S. , Rajan , S. , Rushby , J. , Shankar , N. , and Srivas , M . 1996. PVS: Combining specification, proof checking, and model checking . In Proceedings of Computer-Aided Verification (CAV'96) . Owre, S., Rajan, S., Rushby, J., Shankar, N., and Srivas, M. 1996. PVS: Combining specification, proof checking, and model checking. In Proceedings of Computer-Aided Verification (CAV'96)."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04)","author":"Prajna S.","unstructured":"Prajna , S. and Jadbabaie , A . 2004. Safety verification of hybrid systems using barrier certificates . In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04) . Springer, Berlin. Prajna, S. and Jadbabaie, A. 2004. Safety verification of hybrid systems using barrier certificates. In Proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control (HSCC'04). Springer, Berlin."},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02)","author":"Tomlin C.","unstructured":"Tomlin , C. and Greenstreet , M. R. , Eds . 2002 . Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02) . Springer, Berlin. Tomlin, C. and Greenstreet, M. R., Eds. 2002. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02). Springer, Berlin."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the 10th International Workshop, (HSCC'07)","author":"Umeno S.","unstructured":"Umeno , S. and Lynch , N. A . 2007. Safety verification of an aircraft landing protocol: A refinement approach . In Proceedings of the 10th International Workshop, (HSCC'07) . Springer, Berlin, 557--572. Umeno, S. and Lynch, N. A. 2007. Safety verification of an aircraft landing protocol: A refinement approach. In Proceedings of the 10th International Workshop, (HSCC'07). Springer, Berlin, 557--572."},{"key":"e_1_2_1_46_1","doi-asserted-by":"crossref","unstructured":"van der Schaft A. and Schumacher H. 2000. An Introduction to Hybrid Dynamical Systems. Springer Berlin.  van der Schaft A. and Schumacher H. 2000. An Introduction to Hybrid Dynamical Systems. Springer Berlin.","DOI":"10.1007\/BFb0109998"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.10.007"},{"key":"e_1_2_1_48_1","volume-title":"Proceeding of the 17th IEEE Real-Time Systems Symposium. IEEE","author":"Weinberg H. B.","unstructured":"Weinberg , H. B. and Lynch , N . 1996. Correctness of vehicle control systems\u2014a case study . In Proceeding of the 17th IEEE Real-Time Systems Symposium. IEEE , Los Alamitos, CA, 62--72. Weinberg, H. B. and Lynch, N. 1996. Correctness of vehicle control systems\u2014a case study. In Proceeding of the 17th IEEE Real-Time Systems Symposium. IEEE, Los Alamitos, CA, 62--72."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the 3rd International Workshop on Hybrid Systems III: Verification and Control Workshop on Verification and Control of Hybrid Systems. Springer","author":"Weinberg H. B.","unstructured":"Weinberg , H. B. , Lynch , N. , and Delisle , N . 1995. Verification of automated vehicle protection systems . In Proceedings of the 3rd International Workshop on Hybrid Systems III: Verification and Control Workshop on Verification and Control of Hybrid Systems. Springer , Berlin, 101--113. Weinberg, H. B., Lynch, N., and Delisle, N. 1995. Verification of automated vehicle protection systems. In Proceedings of the 3rd International Workshop on Hybrid Systems III: Verification and Control Workshop on Verification and Control of Hybrid Systems. Springer, Berlin, 101--113."},{"key":"e_1_2_1_50_1","volume-title":"Model Building in Mathematical Programming","author":"Williams H.","unstructured":"Williams , H. 1990. Model Building in Mathematical Programming 3 rd Ed. John Wiley , New York . Williams, H. 1990. Model Building in Mathematical Programming 3rd Ed. John Wiley, New York.","edition":"3"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the American Control Conference (AACC).","author":"Zhai G.","unstructured":"Zhai , G. , Hu , B. , Yasuda , K. , and Michel , A . 2000. Stability analysis of switched systems with stable and unstable subsystems: An average dwell time approach . In Proceedings of the American Control Conference (AACC). Zhai, G., Hu, B., Yasuda, K., and Michel, A. 2000. Stability analysis of switched systems with stable and unstable subsystems: An average dwell time approach. In Proceedings of the American Control Conference (AACC)."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1457246.1457249","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1457246.1457249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:48Z","timestamp":1750250748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1457246.1457249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["10.1145\/1457246.1457249"],"URL":"https:\/\/doi.org\/10.1145\/1457246.1457249","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12]]},"assertion":[{"value":"2006-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-01-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}