|
1 |
Objectives:
UCAM has a strong
research program in the area of hybrid
systems control. The general objective of
UCAM in WPHS will be to determine
appropriate stochastic models for control of
safety critical systems, to be used in WPSHS.
AQUI is a center of excellence on embedded
system design with particular emphasis on
control problems for automotive and air
traffic control. Its activities have been
centered on hybrid systems for embedded
control applications. Modeling of embedded
control problems as hybrid systems is the
focus of AQUI in this work package. UCB has
a major research program in hybrid systems.
The general objective of the research
program of UCB is to investigate hybrid
systems from numerical, computational
complexity and language semantics points of
view. The specific contribution of partner 3
is participation in the development of a
common hybrid-model interchange format,
which will enable research groups across the
Atlantic in transferring models and
comparing analysis methods using a common
interchange language. |
|
2 |
Work Description:
For the computer simulation, analysis and
execution of safety critical hybrid
controllers, computational limitations make
idealized mathematical models inadequate.
Issues such as event detection and Zeno
behavior needs to be addressed, and a theory
of error estimation for hybrid systems needs
to be developed. The challenge here is to
integrate paradigms from discrete
mathematics (combinatorics, logic, graph
theory, induction) with paradigms from
continuous mathematics (differential
equations, stochastic control, transforms,
stability). In particular, the treatment of
component-based hybrid systems will require
the study of mixed discrete-continuous
games, where system components correspond to
players with various safety and liveness
objectives. Coordinate the development of a
common, hybrid-system interchange format.
Research groups in the US and EU are
developing a number of new simulation and
hybrid analysis methods and tools. For
example, reachability analysis in hybrid
systems is one of the fundamental problems
in verification of safety of embedded
systems. A common problem in evaluating and
using of different hybrid analysis methods
is that modeling methods used by research
groups are different. On one hand, this is
necessary, since modeling intimately related
to the analysis method to be investigated,
but on the other hand, these differences
make the comparison and joint use of
techniques extremely hard. Researchers will
investigate the formal representation of the
semantics of common hybrid system models
used by different communities and will
recommend an interchange language with
extensible semantics. The recommendation
will also include a standard-based syntax
(such as XML) for physical transfer of data. |
|
3 |
Deliverables
DHS1: Overview of hybrid
modeling languages used by research groups
in the US.
DHS2: Overview of methods
of representing semantics of hybrid modeling
techniques.
DHS3: Development of a
recommendation for a common hybrid-system
interchange language.
DHS4: Collection and
evaluation of feedback about the hybrid
interchange language.
DHS5: Development and
distribution of a revised interchange
language.
DHS6: Development of case
studies of using the interchange language
for representing the semantics of 2 selected
modeling languages in the US. |
|
4 |
Milestones
Month 6: DHS1 report
(public)
Month 10: DHS2 report
(public)
Month 18: First release
of the draft interchange-language
specification
Month 22: DHS4 and 5
report (public).
Month 24: DHS6 report
(public). Final release of the final
interchange-language specification and use
cases. |
