Contract-based design for computation and verification of a closed-loop hybrid system

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

Volumn 4981 LNCS, Issue , 2008, Pages 58-71

  Benvenuti, L ^a,b   Ferrari, A ^b   Mazzi, E ^b,c   Vincentelli, A L Sangiovanni ^b,d  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b PARADES   (Italy)

^c UNIVERSITY OF PISA   (Italy)

^d UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; CONTROLLERS; DESIGN; FORMAL VERIFICATION; HYBRID SYSTEMS; WATER LEVELS;

CLOSED LOOP CONFIGURATION; CLOSED LOOPS; CONTRACT-BASED DESIGNS; DESIGN PROCESS; EMBEDDED CONTROLLERS; FEEDBACK CONFIGURATION; FORMAL VERIFICATION TOOLS; SENSORS AND ACTUATORS;

FEEDBACK;

EID: 62949168122     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_5     Document Type: Conference Paper

References (10)

1. Sangiovanni-Vincentelli, A.: Defining platform-based design. EEdesign (February 2002), http://www.eedesign.com/
2. Bozga, M., Constant, O., Skipper, M., Ma, Q.: SPEEDS meta-model syntax and static semantics. SPEEDS deliverable D2.1b (January 2007).
3. Gössler, G., Graf, S., Cederbaum, M., Martens, M., Sifakis, J.: An approach to modeling and verification of component based systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pĺasil, F. (eds.) SOFSEM 2007. LNCS, vol.4362, Springer, Heidelberg (2007).
4. Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Heterogeneous rich component defi- nition, mathematical semantics. SPEEDS deliverable D2.1b/sem, annex of deliverable D2.1b (December 2006).
5. Goessler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming, 161-183 (March 2005).
6. Balluchi, A., Mazzi, E., Sangiovanni-Vincentelli, A.: Complexity reduction for the design of interacting controllers. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 46-60. Springer, Heidelberg (2007).
7. Micheli, G.D.: Synthesis and Optimization of Digital Circuits. McGraw-Hill, New York (2001).
8. Katz, R.: Contemporary Logic Design, ch. 1-10. The Benjamin/Cummings Publishing Company (1994).
9. Collins, P.: Continuity and computability of reachable sets. Theoretical Computer Science 341, 162-195 (2005).
10. Balluchi, A., Casagrande, A., Collins, P., Ferrari, A., Villa, T., Sangiovanni-Vincentelli, A.: Ariadne: a framework for reachability analysis of hybrid automata. In: Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto, Japan (July 2006).