A clock-based framework for construction of hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8049 LNCS, Issue , 2013, Pages 22-41

  He, Jifeng ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLICATED SYSTEMS; CONTINUOUS DYNAMICS; DISCRETE VARIABLES; DYNAMICAL BEHAVIOURS; FORMAL VERIFICATIONS; MATHEMATICAL FRAMEWORKS; PHYSICAL COMPONENTS; SYNCHRONOUS SIGNALS;

CLOCKS; DYNAMICS; HYBRID SYSTEMS; PHYSICAL ADDRESSES; SPECIFICATIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 84885012874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-39718-9-2     Document Type: Conference Paper

References (30)

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
2. Alur, R., Courcoubetics, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209-229. Springer, Heidelberg (1993)
3. Alur, R., Courcoubetics, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicolin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3-34 (1995)
4. Benveniste, A.: Compositional and uniform modelling of hybrid systems. IEEE Trans. on Automatic Control 43(4), 579-584 (1998)
5. Benveniste, A., Cailland, B., Pouzet, M.: The fundamentals of hybrid system modelers. In: CDC, pp. 4180-4185. IEEE (2010)
6. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics and implementation. Science of Computer Programming 19(2), 87-152 (1992)
7. Berry, G.: Constructive Semantics of Esterel: From Theory to Practice. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, p. 225. Springer, Heidelberg (1996)
8. Carloni, L.P., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.L.: Languages and tools for hybrid system design. Foundations and Trends in Electronic Design Automation 1(1/2) (2006)
9. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronisation skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52-71. Springer, Heidelberg (1982)
10. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987)
11. He, J.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 171-189 (1994)
12. Henzinger, T.A., Horowitz, B., Kirsch, C.K.: Giotto: A time-triggered language for embedded programming. Technical report, Department of Electronic Engineering and Computer Science, University of California, Berkeley (2001)
13. Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278-292. IEEE Computer Society (1996)
14. Iwasaki, Y., Farquhar, A., Saraswat, V.A., Bobrow, D.G., Gupta, V.: Modeling time in hybrid systems: How fast is "instantaneous"? In: IJCAI, pp. 1773-1781 (1995)
15. Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamic Systems. Cambridge University Press (1996)
16. Kohn, W.: A Declarative Theory for Rational Controllers. In: Proceedings of 27th CDC, pp. 130-136 (1988)
17. Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, pp. 114-123 (2007)
18. Jing, L., Ziwei, L., Mallet, H.J.F., Zuohua, D.: Hybrid MARTR Statechart. Frontiers of Computer Science 7(1), 95-108 (2013)
19. Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 447-484. Springer, Heidelberg (1992)
20. Nikoukhah, R.: Hybrid dynamics in Modelica: Should all events be considered synchronous? In: EOOST 2007, pp. 37-48 (2007)
21. Platzer, A.: Differential dynamic logic: Automated theorem proving for hybrid systems. Ph.D. thesis, Department of Computing Science, University of Oldenburg (2008)
22. Perko, L.: Differential equations and dynamic systems. Springer (2006)
23. Mosterman, P.J., Zander, J., Hamon, G., Denckla, B.: Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. In: ADHS 2009, pp. 376-385 (2009)
24. Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337-351. Springer, Heidelberg (1982)
25. Ronkko, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science 290(1), 937-973 (2003)
26. Society of Automotive Engineers. SAE Standards: Architecture Analysis and Design Language (AADL). AS5506 (2004)
27. Sikora, E., Tenbergen, B., Pohl, K.: Requirements engineering for embedded systems: An investigation of industry needs. In: Berry, D. (ed.) REFSQ 2011. LNCS, vol. 6606, pp. 151-165. Springer, Heidelberg (2011)
28. Simulink, http://www.mathworks.com/products/simulink/
29. Tavermini, L.: Differential automata and their discrete simulations. Non-Linear Analysis 11(6), 665-683 (1987)
30. Chen, Z.C., Ji, W., Ravn, A.P.: A formal description of hybrid systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, pp. 511-530. Springer, Heidelberg (1996)