{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:09:08Z","timestamp":1762099748867,"version":"3.41.2"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"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":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1023\/a:1008293802713","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"137-173","source":"Crossref","is-referenced-by-count":27,"title":["Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control"],"prefix":"10.1007","volume":"8","author":[{"given":"Xenofon D.","family":"Koutsoukos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin X.","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"164024_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A. and Ho, P\u2013H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer\u2013Verlag, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"164024_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R. and Dill, D. 1994. The theory of timed automata. Theoretical and Computer Science, 126:183\u2013235.","journal-title":"Theoretical and Computer Science"},{"key":"164024_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T. and Ho, P\u2013H. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181\u2013201.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"164024_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A. and Sontag, E.D., editors. 1996. Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science, vol. 1066, Springer\u2013Verlag.","DOI":"10.1007\/BFb0020931"},{"key":"164024_CR5","doi-asserted-by":"crossref","unstructured":"Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S. editors. 1995. Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, Springer\u2013Verlag.","DOI":"10.1007\/3-540-60472-3"},{"key":"164024_CR6","doi-asserted-by":"crossref","unstructured":"Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., editors. 1997. Hybrid Systems IV, Lecture Notes in Computer Science, vol. 1273, Springer\u2013Verlag.","DOI":"10.1007\/BFb0031551"},{"key":"164024_CR7","doi-asserted-by":"crossref","unstructured":"Antsaklis, P., Kohn, W., Nerode, A. and Shastry, S., editors. 1998. Hybrid Systems V, Lecture Notes in Computer Science. Springer\u2013Verlag. (in press).","DOI":"10.1007\/BFb0031551"},{"key":"164024_CR8","unstructured":"Antsaklis, P.J. and Nerode, A., editors. 1998. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems."},{"issue":"4","key":"164024_CR9","first-page":"415","volume":"1","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G. and Gaujal, B. 1992. Recursive equations and basic properties of timed Petri nets. Discrete Event Dynamic Systems: Theory and Applications, 1(4):415\u2013439.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"164024_CR10","unstructured":"Bett, C.J. and Lemmon, M.D. 1997. Bounded amplitude control using multiple linear agents. Technical Report ISIS\u201397\u2013004, ISIS Group at the University of Notre Dame. Submitted to Automatica."},{"key":"164024_CR11","doi-asserted-by":"crossref","unstructured":"Branicky, M. 1994. Stability of switched and hybrid systems. In Proceedings of the 33th Conference on Decision and Control, Lake Buena Vista, Florida, pp. 3498\u20133503.","DOI":"10.1109\/CDC.1994.411688"},{"key":"164024_CR12","doi-asserted-by":"crossref","unstructured":"Demongodin, I. and Koussoulas, N.T. 1998. Differential Petri nets: Representing continuous systems in a discrete\u2013event world. Transactions on Automatic Control, Special Issue on Hybrid Systems.","DOI":"10.1109\/9.665073"},{"key":"164024_CR13","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J. 1991. Branching processes of Petri nets. Acta Informatica, 28:575\u2013591.","journal-title":"Acta Informatica"},{"key":"164024_CR14","doi-asserted-by":"crossref","unstructured":"Esparza, J., Romer, S. and Vogler, W. 1996. An improvement of McMillan's unfolding algorithm. In T. Margaria and B. Steffen, editors, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol. 1055, Springer\u2013Verlag.","DOI":"10.1007\/3-540-61042-1_40"},{"key":"164024_CR15","doi-asserted-by":"crossref","unstructured":"Flaus, J\u2013M. and Alla, H. 1997. Structural analysis of hybrid systems modelled by hybrid flow nets. In Proceedings of the European Control Conference 97, Brussels, Belgium.","DOI":"10.23919\/ECC.1997.7082101"},{"key":"164024_CR16","unstructured":"Friedland, B. 1996. Advanced Control System Design, Prentice\u2013Hall."},{"key":"164024_CR17","unstructured":"Giua, A. and Usai, E. 1996. High\u2013level hybrid Petri nets: A definition. In Proceeding of the 35th Conference on Decision and Control, Kobe, Japan."},{"key":"164024_CR18","doi-asserted-by":"crossref","unstructured":"Grossman, R.L., Nerode, A., Ravn, A.P. and Rischel, H., editors. 1993. Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer\u2013Verlag.","DOI":"10.1007\/3-540-57318-6"},{"issue":"2","key":"164024_CR19","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1109\/9.341802","volume":"40","author":"J. Guckenheimer","year":"1995","unstructured":"Guckenheimer, John. 1995. A robust hybrid stabilization strategy for equilibria. IEEE Transactions on Automatic Control, 40(2):321\u2013326.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"164024_CR20","doi-asserted-by":"crossref","unstructured":"He, K.X. and Lemmon, M.D. 1997. Lyapunov stability of ontinuous valued systems under the supervision of discrete event transition systems. Technical Report ISIS\u201397\u2013010, ISIS Group at the University of Notre Dame. Submitted to Hybrid Systems: Control and Computation, Workshop at Berkeley, April 1998.","DOI":"10.1007\/3-540-64358-3_39"},{"key":"164024_CR21","first-page":"41","volume":"1019","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A., Ho, P\u2013H. and Wong\u2013Toi, H. 1995. A user guide to HYTECH. In First Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS95, Lecture Notes in Computer Science, vol. 1019, Springer\u2013Verlag, pp. 41\u201371.","journal-title":"First Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS95, Lecture Notes in Computer Science"},{"issue":"2","key":"164024_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L.E. Holloway","year":"1997","unstructured":"Holloway, L.E., Krogh, B.H. and Giua, A. 1997. A survey of Petri net methods for controlled discrete event systems. Journal of Discrete Event Dynamic Systems, 7(2):151\u2013190.","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"164024_CR23","unstructured":"Hou, L., Michel, A.N. and Ye, H. 1996. Stability analysis of switched systems. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan."},{"key":"164024_CR24","doi-asserted-by":"crossref","unstructured":"Isidori, A. 1996. Nonlinear Control Systems. Springer\u2013Verlag, 2nd edition.","DOI":"10.1007\/978-1-84628-615-5"},{"key":"164024_CR25","doi-asserted-by":"crossref","unstructured":"Johansson, M. and Rantzer, A. 1998. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control, Special Issue on Hybrid Systems.","DOI":"10.23919\/ECC.1997.7082399"},{"key":"164024_CR26","unstructured":"Koutsoukos, X.D. and Antsaklis, P.J. 1997. An approach to hybrid systems control applied to clocks. In Fifth International Hybrid Systems Workshop, Notre Dame, USA."},{"key":"164024_CR27","unstructured":"LeBail, J., Alla, H. and David, R. 1991. Hybrid Petri nets. In Proceedings 1st European Control Conference, Grenoble, France."},{"key":"164024_CR28","unstructured":"Lemmon, M., He, K. and Bett, C.J. 1998. Modeling hybrid control systems using programmable Petri nets. In 3rd International Conference ADMP'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France."},{"key":"164024_CR29","unstructured":"Lemmon, M.D. and Bett, C.J. 1996. Safe implementations of supervisory commands. Technical Report ISIS\u201396\u2013006, ISIS Group at the University of Notre Dame. To appear in International Journal of Control."},{"issue":"5","key":"164024_CR30","first-page":"45","volume":"16","author":"B. Lennartson","year":"1996","unstructured":"Lennartson, B., Tittus, M., Egardt, B. and Petterson, S. 1996. Hybrid systems in process control. Control Systems Magazine, 16(5):45\u201356.","journal-title":"Control Systems Magazine"},{"key":"164024_CR31","doi-asserted-by":"crossref","unstructured":"Lunze, J., Nixdorf, B. and Richter, H. 1997. Hybrid modelling of continuous\u2013variable systems with application to supervisory control. In Proceedings of the European Control Conference 97, Brussels, Belgium.","DOI":"10.23919\/ECC.1997.7082292"},{"key":"164024_CR32","unstructured":"McClamroch, N.H., Rui, C., Kolmanovsky, I. and Reyhanoglu, M. 1997. Hybrid closed loop systems: Anonlinear control perspective. In the 36th IEEE Conference on Decision and Control."},{"key":"164024_CR33","doi-asserted-by":"crossref","unstructured":"McMillan, K. 1992. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In B.V. Bochmann and D.K. Probst, editors, Computer Aided Verification, Fourth International Workshop, CAV'92, Lecture Notes in Computer Science, vol. 663, Springer\u2013Verlag, pp. 164\u2013177.","DOI":"10.1007\/3-540-56496-9_14"},{"key":"164024_CR34","volume-title":"Petri Net Supervisors for Discrete Event Systems","author":"J.O. Moody","year":"1997","unstructured":"Moody, J.O. 1997. Petri Net Supervisors for Discrete Event Systems. Ph.D. thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN."},{"key":"164024_CR35","doi-asserted-by":"crossref","unstructured":"Moody, J.O. and Antsaklis, P.J. 1996. Supervisory control of Petri nets with uncontrollable\/unobservable transitions. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan, pp. 4433\u20134438.","DOI":"10.1109\/CDC.1996.577490"},{"key":"164024_CR36","unstructured":"Moody, J.O. and Antsaklis, P.J. 1997. Supervisory control using computationally efficient linear techniques: A tutorial introduction. In Proceedings of the 5th International IEEE Mediterranean Conference on Control and Systems, Paphos, Cyprus."},{"key":"164024_CR37","unstructured":"Morse, A. Stephen, (Ed). 1997. Control using logic\u2013based switching, Lecture Notes in Control and Information Sciences, vol. 222, Springer\u2013Verlag."},{"key":"164024_CR38","doi-asserted-by":"crossref","unstructured":"Peleties, P. and DeCarlo, R. 1991. Asymptotic stability of m\u2013switched systems using Lyapunov\u2013like functions. In Proceedings of the American Control Conference, pp. 1679\u20131684.","DOI":"10.23919\/ACC.1991.4791667"},{"issue":"9","key":"164024_CR39","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1016\/0005-1098(94)90007-8","volume":"30","author":"P. Peleties","year":"1994","unstructured":"Peleties, P. and DeCarlo, R. 1994. Analysis of hybrid systems using symbolic dynamics and Petri nets. Automatica, 30(9):1421\u20131427.","journal-title":"Automatica"},{"key":"164024_CR40","unstructured":"Pettersson, S. and Lennartson, B. 1995. Hybrid modelling focused on hybrid Petri nets. In Proceedings 2nd European Workshop on Real\u2013time and Hybrid systems, Grenoble, France, pp. 303\u2013309."},{"key":"164024_CR41","unstructured":"Pettersson, S. and Lennartson, B. 1996. Stability and robustness of hybrid systems. In Proceedings of the 35th Conference on Decision and Control, Kobe, Japan."},{"key":"164024_CR42","doi-asserted-by":"crossref","unstructured":"Puri, Anuj and Varaiya, Pravin. 1994. Decidability of hybrid systems with rectangular differential inclusions. In D.L. Dill, editor, CAV'94: Computer Aided Verification, Lecture Notes in Computer Science, vol. 818, Springer\u2013Verlag, pp. 81\u201394.","DOI":"10.1007\/3-540-58179-0_46"},{"issue":"7","key":"164024_CR43","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/9.57019","volume":"35","author":"P.J. Ramadge","year":"1990","unstructured":"Ramadge, P.J. 1990. On the periodicity of symbolic observations of piecewise smooth discrete\u2013time systems, IEEE Transactions on Automatic Control, 35(7):807\u2013813.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"164024_CR44","doi-asserted-by":"crossref","unstructured":"Reisig, W. 1985. Petri Nets. Springer\u2013Verlag.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"164024_CR45","unstructured":"Sifakis, J. 1977. Use of petri nets for performance evaluation. In Measuring, modelling and evaluating computer systems. North Holand."},{"issue":"7","key":"164024_CR46","doi-asserted-by":"crossref","first-page":"928","DOI":"10.1109\/9.599972","volume":"42","author":"R.S. Sreenivas","year":"1997","unstructured":"Sreenivas, R.S. 1997. On the existence of supervisor policies that enforce liveness in discrete\u2013event dynamic systems modeled by controlled petrinets. IEEE Transactions on Automatic Control, 42(7):928\u2013945.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"164024_CR47","doi-asserted-by":"crossref","unstructured":"Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1995. Interface and controller design for hybrid control systems. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science, vol. 999, pp. 462\u2013492. Springer\u2013Verlag.","DOI":"10.1007\/3-540-60472-3_24"},{"key":"164024_CR48","first-page":"467","volume":"J","author":"J.A. Stiver","year":"1996","unstructured":"Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. An invariant based approach to the design of hybrid control systems. In IFAC 13th Triennial World Congress, volume J, San Francisco, CA, pp. 467\u2013472.","journal-title":"IFAC 13th Triennial World Congress"},{"key":"164024_CR49","doi-asserted-by":"crossref","unstructured":"Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. An invariant based approach to the design of hybrid control systems containing clocks. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science, vol. 1066, pp. 464\u2013474. Springer\u2013Verlag.","DOI":"10.1007\/BFb0020968"},{"issue":"11\/12","key":"164024_CR50","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0895-7177(96)00064-7","volume":"23","author":"J.A. Stiver","year":"1996","unstructured":"Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D. 1996. A logical DES approach to the design of hybrid control systems. Mathl. Comput. Modelling, 23(11\/12):55\u201376.","journal-title":"Mathl. Comput. Modelling"},{"key":"164024_CR51","volume-title":"Control Synthesis for Batch Processes","author":"M. Tittus","year":"1995","unstructured":"Tittus, M. 1995. Control Synthesis for Batch Processes. Ph.D. thesis, Control Engineering Lab., Chalmers University of Technology, G\u00f6teborg, Sweden."},{"key":"164024_CR52","doi-asserted-by":"crossref","unstructured":"Vibert, D., Valentin\u2013Roubinet, C. and Neil, E. 1997. A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems. In Proceedings of the European Control Conference 97, Brussels, Belgium.","DOI":"10.23919\/ECC.1997.7082135"},{"issue":"7","key":"164024_CR53","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0098-1354(91)85029-T","volume":"15","author":"K. Yamalidou","year":"1991","unstructured":"Yamalidou, K. and Kantor, J.C. 1991. Modeling and optimal control of discrete\u2013event chemical processes using Petri nets. Computers in Chemical Engineering, 15(7):503\u2013519.","journal-title":"Computers in Chemical Engineering"},{"issue":"1","key":"164024_CR54","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"K. Yamalidou","year":"1996","unstructured":"Yamalidou, K., Moody, J., Lemmon, M. and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica, 32(1):15\u201328.","journal-title":"Automatica"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008293802713.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008293802713\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008293802713.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:20:22Z","timestamp":1753762822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008293802713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["164024"],"URL":"https:\/\/doi.org\/10.1023\/a:1008293802713","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}