{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:57Z","timestamp":1763467857637},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_25","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T05:01:58Z","timestamp":1216270918000},"page":"344-357","source":"Crossref","is-referenced-by-count":19,"title":["Verification of Supervisory Control Software Using State Proximity and Merging"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Lerda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Kapinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Girard, A., Pappas, G.J.: Approximation Metrics for Discrete and Continuous Systems. Technical Report MS-CIS-05-10, University of Pennsylvania (2005)"},{"key":"25_CR2","unstructured":"Clarke, E.M., Emerson, E.A.: Synthesis of Synchronization Skeletons for Branching Time Temporal Logic. In: Proc. of Workshop on Logic of Programs (1981)"},{"key":"25_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"25_CR4","unstructured":"Lerda, F., Kapinski, J., Maka, H., Clarke, E.M., Krogh, B.H.: Model Checking In-The-Loop. In: The 27th American Control Conference (submitted, 2007)"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Kapinski, J., Krogh, B.H., Maler, O., Stursberg, O.: On Systematic Simulation of Open Continuous Systems. In: Proc. of the 6th International Workshop on Hybrid Systems: Computation and Control (2003)","DOI":"10.1007\/3-540-36580-X_22"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Systematic Simulation using Sensitivity Analysis. In: Proc. of the 10th International Workshop on Hybrid Systems: Computation and Control (2007)","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Julius, A.A., Fainekos, G.E., Anand, M., Lee, I., Pappas, G.J.: Robust Test Generation and Coverage for Hybrid Systems. In: Proc. of the 10th International Workshop on Hybrid Systems: Computation and Control (2007)","DOI":"10.1007\/978-3-540-71493-4_27"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Aylward, E., Parrilo, P.A., Slotine, J.J.E.: Algorithmic Search for Contraction Metrics via SOS Programming. In: Proc. of the 2006 American Control Conference (2006)","DOI":"10.1109\/ACC.2006.1657177"},{"key":"25_CR9","series-title":"SIAM Studies in Applied Mathematics","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"S. Boyd","year":"1994","unstructured":"Boyd, S., Ghaoui, L.E., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. In: SIAM Studies in Applied Mathematics, vol.\u00a015. SIAM, Philadelphia (1994)"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A.B., V\u00e1lyi, I.: Ellipsoidal Calculus for Estimation and Control. Birkh\u00e4user, Boston (1997)","DOI":"10.1007\/978-1-4612-0277-6"},{"issue":"2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"25_CR12","unstructured":"Grant, M., Boyd, S., Ye, Y.: CVX User\u2019s Guide (2007)"},{"key":"25_CR13","volume-title":"SDPT3 4.0","author":"K.-C. Toh","year":"2006","unstructured":"Toh, K.C., Todd, M.J., T\u00fct\u00fcnc\u00fc, R.H.: SDPT3 4.0. MIT Press, Cambridge (2006)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Hoffmann, G.M., Huang, H., Waslander, S.L., Tomlin, C.J.: Quadrotor Helicopter Flight Dynamics and Control: Theory and Experiment. In: Proc. of the AIAA Guidance, Navigation, and Control Conference (2007)","DOI":"10.2514\/6.2007-6461"},{"key":"25_CR15","unstructured":"Parrilo, P.A.: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology (2000)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:17Z","timestamp":1619507057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}