×

From synchronous programs to symbolic representations of hybrid systems. (English) Zbl 1361.68057

Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 41-50 (2010).

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68N15 Theory of programming languages
68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] M. Agrawal and P.S. Thiagarajan. Lazy rectangular hybrid automata. In 7th HSCC, LNCS 2993, pages 1 15. Springer, 2004. · Zbl 1133.68359
[2] M. Agrawal and P.S. Thiagarajan. The discrete time behaviour of lazy linear hybrid automata. In 8th HSCC, LNCS 3414, pages 55 69. Springer, 2005. · Zbl 1078.68069
[3] R. Alur, T.A. Henzinger, G. La.erriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proc. of the IEEE, 88:971 984, 2000.
[4] E. Asarin, O. Bournez, T. Dang, and O. Maler. Reachability analysis of piecewise-linear dynamical systems. In HSCC 2000, LNCS 1790, pages 20 31. Springer, 2000. · Zbl 0938.93502
[5] P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Proc. of LCTES 03, 2003.
[6] O. Clarke, E.M. Grumberg and D.A. Peled. Model Checking. MIT Press, 1999.
[7] F. Commoner, A.W. Holt, S. Even, and A. Pnueli. Marked directed graphs. J. Computer and System Sciences, 5:511 523, 1971. · Zbl 0238.05109
[8] V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scienti.c, 1995.
[9] M.C.F. Donkers, L. Hetel, W.P.M.H. Heemels, N. van de Wouw, and M. Steinbuch. Stability analysis of networked control systems using a switched linear systems approach. In HSCC 2009, LNCS 5469, pages 150 164, 2009. · Zbl 1237.93136
[10] J. Esparza and K. Heljanko. Unfoldings A Partial-Order Approach to Model Checking. Springer, 2008. EATCS Monographs in Theoretical Computer Science. · Zbl 1153.68035
[11] P. Godefroid. Partial-Order Methods for the Veri.cation of Concurrent Systems An Approach to the State-Explosion Problem. Springer, 1996. LNCS 1032. · Zbl 1293.68005
[12] T.A. Henzinger. Hybrid automata with .nite bisimulations. In 22nd ICALP, LNCS 944, pages 324 335. Springer, 1995.
[13] T.A. Henzinger. The theory of hybrid automata. In 11th LICS, pages 278 292. IEEE Press, 1996. · Zbl 0959.68073
[14] T.A. Henzinger and P.W. Kopke. Discrete-time control for rectangular hybrid automata. Theoretical Comp. Sci., 221:369 392, 1999. · Zbl 0930.68086
[15] T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What s decidable about hybrid automata? J. of Comp. and Sys. Sci., 57:94 124, 1998. · Zbl 0920.68091
[16] J. Hespanha, P. Naghshtabrizi, and Y. Xu. A survey of recent results in networked control systems. Proc. of the IEEE, 95(1):138 162, 2007.
[17] S. Tripakis. Decentralized control of discrete event systems with bounded or unbounded delay communication. IEEE Trans. on Automatic Control, 49(9):1489 1501, 2004. · Zbl 1365.93022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.