{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:44Z","timestamp":1761488864787},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:31Z","timestamp":1330288831000},"page":"462-492","source":"Crossref","is-referenced-by-count":15,"title":["Interface and controller design for hybrid control systems"],"prefix":"10.1007","author":[{"given":"James A.","family":"Stiver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. \u201cHybrid system modeling and autonomous control systems\u201d, In Hybrid Systems, edited by R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, vol. 736 of Lecture Notes in Computer Science, pp. 366\u2013392. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"24_CR2","volume-title":"Master's thesis","author":"J. A. Stiver","year":"1991","unstructured":"J. A. Stiver, \u201cModeling of hybrid control systems using discrete event system models\u201d. Master's thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, May 1991."},{"key":"24_CR3","volume-title":"A novel discrete event system approach to modeling and analysis of hybrid control systems","author":"J. A. Stiver","year":"1991","unstructured":"J. A. Stiver and P. J. Antsaklis, \u201cA novel discrete event system approach to modeling and analysis of hybrid control systems\u201d. In Proceedings of the Twenty-Ninth Annual Allerton Conference on Communication, Control, and Computing, University of Illinois at Urbana-Champaign. Oct. 1991."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"J. A. Stiver and P. J. Antsaklis, \u201cModeling and analysis of hybrid control systems\u201d, In Proceedings of the 31st Conference on Decision and Control. pp. 3748\u20133751, Tucson, AZ, Dec. 1992.","DOI":"10.1109\/CDC.1992.371184"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"J. A. Stiver and P. J. Antsaklis, \u201cState space partitioning for hybrid control systems\u201d. In Proceedings of the American Control Conference. pp. 2303\u20132304. San Francisco. California, June 1993.","DOI":"10.23919\/ACC.1993.4793297"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J. A. Stiver and P. J. Antsaklis, \u201cOn the controllability of hybrid control systems\u201d. In Proceedings of the 32nd Conference on Decision and Control. pp. 3748\u20133751. San Antonio, TX. Dec. 1993.","DOI":"10.1109\/CDC.1993.325143"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. \u201cDigital control from a hybrid perspective\u201d. In Proceedings of the 33rd Conference on Decision and Control, pp. 4241\u20134246. Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411617"},{"key":"24_CR8","volume-title":"Technical Report of the ISIS Group ISIS-93-003","author":"P. J. Antsaklis","year":"1993","unstructured":"P. J. Antsaklis, M. D. Lemmon, and J. A. Stiver. \u201cLearning to be autonomous: Intelligent supervisory control\u201d. Technical Report of the ISIS Group ISIS-93-003. University of Notre Dame. Notre Dame. IN. April 1993. To appear as a chapter in the IEEE Press book Intelligent Control: Theory and Applications."},{"key":"24_CR9","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. \u201cA logical des approach to the design of hybrid systems\u201d, Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-94-011. University of Notre Dame. October 1994."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. \u201cInterface Design for Hybrid Control Systems\u201d, Technical Report, of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-95-001, University of Notre Dame, January 1995.","DOI":"10.1007\/3-540-60472-3_24"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. \u201cModels for Hybrid Systems: Automata. Topologies, Controllability, Observability\u201d, In Hybrid Systems, edited by R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, pp. 317\u2013356. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"W. Kohn, A. Nerode, J. Remmel, and X. Ge, \u201cMultiple agent hybrid control: Carrier manifolds and chattering approximations to optimal control\u201d, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4221\u20134227, Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411614"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"W. Kohn, J. James, A. Nerode, and N. DeClaris. \u201cA hybrid systems approach to integration of medical models\u201d, In Proceedings of the 33rd IEEE Conference on Decision and Control. pp. 4247\u20134252. Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411618"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"R. Brockett, \u201cLanguage driven hybrid systems\u201d. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4210\u20134214, Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411612"},{"issue":"no.7","key":"24_CR15","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/9.57019","volume":"35","author":"P. J. Ramadge","year":"1990","unstructured":"P. J. Ramadge. \u201cOn the periodicity of symbolic observations of piecewise smooth discrete-time systems\u201d, IEEE Transactions on Automatic Control, vol. 35, no. 7, pp. 807\u2013812, July 1990.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"24_CR16","first-page":"455","volume-title":"Dynamics of a switched n buffer system","author":"C. Chase","year":"1991","unstructured":"C. Chase and P. J. Ramadge, \u201cDynamics of a switched n buffer system\u201d, In Proceedings of the Twenty-Eighth Annual Allerton Conference on Communication, Control, and Computing, pp. 455\u2013464. University of Illinois at Urbana-Champaign, Oct. 1991."},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"S. Di Gennaro, C. Horn, S. Kulkarni, and P. Ramadge. \u201cReduction of timed hybrid systems\u201d. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4215\u20134220, Lake Buena Vista, FL. Dec. 1994.","DOI":"10.1109\/CDC.1994.411613"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"A. Gollu and P. Varaiya. \u201cHybrid dynamical systems\u201d. In Proceedings of the 28th Conference on Decision and Control pp. 2708\u20132712. Tampa, FL. Dec. 1989.","DOI":"10.1109\/CDC.1989.70671"},{"key":"24_CR19","unstructured":"A. Deshpande and P. Varaiya. \u201cViable control of hybrid systems\u201d. In the Ph.D. Dissertation of the first author, June 1994. ftp: eclair.eecs.berkeley.edu."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"M. Tittus and B. Egardt, \u201cControl-law synthesis for linear hybrid systems\u201d. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961\u2013966. Lake Buena Vista, FL. Dec. 1994.","DOI":"10.1109\/CDC.1994.410931"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"B. Lennartson, B. Egardt, and M. Tittus. \u201cHybrid systems in process control\u201d. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 3587\u20133595. Lake Buena Vista, FL, Dec. 1994.","DOI":"10.1109\/CDC.1994.411706"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems. vol. 736 of Lecture Notes in Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"24_CR23","volume-title":"Systems Control Group Report 8515","author":"P. J. Ramadge","year":"1985","unstructured":"P. J. Ramadge and W. M. Wonham, \u201cSupervisory control of a class of discrete event processes\u201d. Systems Control Group Report 8515, University of Toronto, Toronto, Canada, Nov. 1985."},{"issue":"no.1","key":"24_CR24","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. Ramadge","year":"1987","unstructured":"P. Ramadge and W. M. Wonham. \u201cSupervisory control of a class of discrete event processes\u201d. SIAM Journal of Control and Optimization. vol. 25, no. 1. pp. 206\u2013230. Jan. 1987.","journal-title":"SIAM Journal of Control and Optimization"},{"issue":"no.1","key":"24_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. Ramadge","year":"1989","unstructured":"P. Ramadge and W. M. Wonham. \u201cThe control of discrete event systems\u201d. Proceedings of the IEEE. vol. 77. no. 1, pp. 81\u201389. Jan. 1989.","journal-title":"Proceedings of the IEEE"},{"key":"24_CR26","volume-title":"Systems Control Group Report 8312","author":"W. M. Wonham","year":"1983","unstructured":"W. M. Wonham and P. J. Ramadge, \u201cOn the supremal controllable sublanguage of a given language\u201d. Systems Control Group Report 8312, University of Toronto, Toronto, Canada, Nov. 1983."},{"issue":"no.3","key":"24_CR27","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"W. M. Wonham and P. J. Wonham, \u201cOn the supremal controllable sublanguage of a given language\u201d, SIAM Journal of Control and Optimization. vol. 25, no. 3, pp. 637\u2013659, May 1987.","journal-title":"SIAM Journal of Control and Optimization."},{"key":"24_CR28","volume-title":"Technical Report of the ISIS Group ISIS-94-004","author":"X. Yang","year":"1994","unstructured":"X. Yang, P. J. Antsaklis, and M. D. Lemmon. \u201cOn the supremal controllable sublanguage in the discrete event model of nondeterministic hybrid control systems\u201d, Technical Report of the ISIS Group ISIS-94-004, University of Notre Dame, Notre Dame, IN, March 1994."},{"key":"24_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2101-0","volume-title":"Nonlinear Dynamical Control Systems","author":"H. Nijmeijer","year":"1990","unstructured":"H. Nijmeijer and A. J. van der Schaft. Nonlinear Dynamical Control Systems. Springer-Verlag, New York, 1990."},{"key":"24_CR30","volume-title":"Ordinary Differential Equations","author":"R. Miller","year":"1982","unstructured":"R. Miller and A. Michel. Ordinary Differential Equations. Academic Press, New York, NY, 1982."},{"key":"24_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02581-9","volume-title":"Nonlinear Control Systems","author":"A. Isidori","year":"1989","unstructured":"A. Isidori. Nonlinear Control Systems, Springer-Verlag, Berlin, 2 edition, 1989.","edition":"2 edition"},{"key":"24_CR32","unstructured":"P. J. Antsaklis. \u201cOn Intelligent Control: Report of the IEEE CSS Task Force on Intelligent Control\u201d. Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-94-001, University of Notre Dame, January 1994."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:36Z","timestamp":1605646776000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}