--- _id: '4618' abstract: - lang: eng text: We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in which the behavior of variables is governed in each state by a set of differential equations. We show that many of the examples considered in the workshop can be defined by hybrid automata. While the reachability problem is undecidable even for very restricted classes of hybrid automata, we present two semidecision procedures for verifying safety properties of piecewiselinear hybrid automata, in which all variables change at constant rates. The two procedures are based, respectively, on minimizing and computing fixpoints on generally infinite state spaces. We show that if the procedures terminate, then they give correct answers. We then demonstrate that for many of the typical workshop examples, the procedures do terminate and thus provide an automatic way for verifying their properties. acknowledgement: BRA ESPRIT project REACT, National Science Foundation under grant CCR-9200794 , United States Air Force Office of Scientific Research contract F49620-93-1-0056. alternative_title: - LNCS article_processing_charge: No author: - first_name: Rajeev full_name: Alur, Rajeev last_name: Alur - first_name: Costas full_name: Courcoubetis, Costas last_name: Courcoubetis - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 - first_name: Pei full_name: Ho, Pei last_name: Ho citation: ama: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30' apa: 'Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30' chicago: 'Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.' ieee: 'R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, 1993, vol. 736, pp. 209–229.' ista: 'Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.' mla: 'Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.' short: R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229. date_created: 2018-12-11T12:09:47Z date_published: 1993-01-01T00:00:00Z date_updated: 2022-03-21T11:04:54Z day: '01' doi: 10.1007/3-540-57318-6_30 editor: - first_name: Robert full_name: Grossman, Robert last_name: Grossman - first_name: Anil full_name: Nerode, Anil last_name: Nerode - first_name: Anders full_name: Ravn, Anders last_name: Ravn - first_name: Hans full_name: Rischel, Hans last_name: Rischel extern: '1' intvolume: ' 736' language: - iso: eng main_file_link: - url: https://link.springer.com/chapter/10.1007/3-540-57318-6_30 month: '01' oa_version: None page: 209 - 229 publication: Hybrid Systems publication_status: published publisher: Springer publist_id: '87' quality_controlled: '1' status: public title: 'Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 736 year: '1993' ...