Operational semantics of hybrid systems

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 25-53

  Lee, Edward A ^a   Zheng, Haiyang ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL PROGRAMMING; PROBLEM SOLVING; PROGRAM INTERPRETERS; SEMANTICS; SIGNAL PROCESSING;

CONTINUOUS-TIME SIGNALS; DISCRETE-EVENT SIGNALS; DOMAIN-SPECIFIC PROGRAMMING LANGUAGES; HYBRID SYSTEMS; ODE SOLVER TECHNIQUES; OPERATIONAL SEMANTICS;

HYBRID COMPUTERS;

EID: 24344435169     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_2     Document Type: Conference Paper

References (36)

1. Deshpande, A., Varaiya, P.: Information structures for control and verification of hybrid systems. In: American Control Conference (ACC). (1995)
2. Henzinger, T.A.: The theory of hybrid automata. In Inan, M., Kurshan, R., eds.: Verification of Digital and Hybrid Systems. Volume 170 of NATO ASI Series F: Computer and Systems Sciences. Springer-Verlag (2000) 265-292
3. Kopke, P., Henzinger, T., Puri, A., Varaiya, P.: What's decidable about hybrid automata? In: 27th Annual ACM Symposioum on Theory of Computing (STOCS). (1995) 372-382
4. Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica (1999)
5. Puri, A., Varaiya, P.: Verification of hybrid systems using abstractions. In: Hybrid Systems Workshop. Volume Hybrid Systems II, LNCS 999., Springer-Verlag (1994) 359-369
6. Lynch, N., Segala, R., Vaandrager, F., Weinberg, H.: Hybrid I/O automata. In Alur, R., Henzinger, T., Sontag, E., eds.: Hybrid Systems III. Volume LNCS 1066. Springer-Verlag (1996) 496-510
7. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91 (2003) 11-28
8. Silva, B.I., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using checkmate. In: Automation of Mixed Processes : Dynamic Hybrid Systems (ADPM), Dortmund Germany, Shaker Verlag, Aachen (2000)
9. Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Hybrid Systems: Computation and Control (HSCC). Volume LNCS 1790., Springer-Verlag (2000) 2131
10. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: (hytech): A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1 (1997) 110-122
11. Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool kronos. In: Hybrid Systems III: Verification and Control. Volume LNCS 1066., Springer-Verlag (1996) 208219
12. Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1 (1997)
13. Mitchell, I., Tomlin, C.: Level set methods for computation in hybrid systems. In: Hybrid Systems: Computation and Control (HSCC). Volume LNCS 1790., Springer-Verlag (2000) 310323
14. Torrisi, F.D., Bemporad, A., Bertini, G., Hertach, P., Jost, D., Mignone, D.: Hysdel 2.0.5 - user manual. Technical report, ETH (2002)
15. Cataldo, A., Hylands, C., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: Hyvisual: A hybrid system visual modeler. Technical Report Technical Memorandum UCB/ERL M03/30, University of California, Berkeley (2003)
16. Tiller, M.M.: Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers (2001)
17. Djenidi, R., Lavarenne, C., Nikoukhah, R., Sorel, Y., Steer, S.: From hybrid simulation to real-time implementation. In: 11th European Simulation Symposium and Exhibition (ESS99). (1999) 7478
18. Deshpande, A., Gollu, A., Varaiya, P.: The shift programming language for dynamic networks of hybrid automata. IEEE Trans, on Automatic Control 43 (1998)
19. Carloni, L.P., DiBenedetto, M.D., Pinto, A., Sangiovanni-Vincentelli, A.: Modeling techniques, programming languages, and design toolsets for hybrid systems. Technical Report IST-2001-38314 WPHS, Columbus Project (2004)
20. Mosterman, P.: An overview of hybrid simulation phenomena and their support by simulation packages. In Varager, F., Schuppen, J.H.v., eds.: Hybrid Systems: Computation and Control (HSCC). Volume LNCS 1569., Springer-Verlag (1999) 165177
21. Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer (1997) 110112
22. University of Pennsylvania MoBIES team: HSIF semantics (version 3, synchronous edition). Technical Report Report, University of Pennsylvania (2002)
23. Lee, E.A.: Overview of the ptolemy project. Technical Report Technical Memo-randum UCB/ERL M03/25, University of California, Berkeley (2003)
24. Liu, J.: Continuous Time and Mixed-Signal Simulation in Ptolemy II. M.s. thesis, University of California, Berkeley (1998)
25. Lemkin, M.A.: Micro Accelerometer Design with Digital Feedback Control. Ph.d., University of California, Berkeley (1997)
26. Fong, C.: Discrete-Time Dataflow Models for Visual Simulation in Ptolemy II. Master's report, University of California, Berkeley (2001)
27. Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79 (1991) 1270-1282
28. Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7 (1999) 25-45
29. Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on CAD 17 (1998)
30. Liu, J., Lee, E.A.: On the causality of mixed-signal and hybrid models. In: 6th International Workshop on Hybrid Systems: Computation and Control (HSCC '03), Prague, Czech Republic (2003)
31. Sastry, S.: Nonlinear Systems: Analysis, Stability, and Control. Springer (1999)
32. Callier, P.M., Desoer, C.A.: Linear System Theory. Springer-Verlag (1991)
33. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: EMSOFT 2001. Volume LNCS 2211., Tahoe City, CA, Springer-Verlag (2001)
34. Park, T., Barton, P.I.: State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation (TOMACS) 6 (1996) 137-165
35. Esposito, J., Kumar, V., Pappas, G.J.: Accurate event detection for simulating hybrid systems. In: Hybrid Systems: Computation and Control (HSCC). Volume LNCS 2034., Springer-Verlag (2001) 204217
36. Press, W.H., Teukolsky, S., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C: the Art of Scientific Computing. Cambridge University Press (1992)