Formal Methods and Tools CASH logo

CASH :: Compositional Analysis and Specification of Hybrid Systems

Description| People| Publications

Description

CASH (Compositional Analysis and Specification of Hybrid Systems) is a research project supported by the Netherlands Foundation for Scientific Research (NWO). It aims to develop a compositional theory for the specification and analysis of hybrid systems.

Hybrid systems are systems with interacting discrete and continuous dynamics, e.g. embedded software for process control, as becoming more and more important in computer science and control theory. It is a collaborative project between the FMT group and the Systems, Signals and Control group of the Faculty of Mathematical Sciences at the University of Twente. The project seeks to integrate formal methods from computer science, such as (timed, hybrid) automata and process algebras with concepts from control theory, such as differential-algebraic equations. The project will also address the issue of tool support for the specification and analysis of hybrid systems.

Project description in postscript and pdf formats.

Project report for 2003

<< top

People

Current participants of CASH project:

<< top

Publications

<< top