64 search results - page 4 / 13 » Compositional and Uniform Modelling of Hybrid Systems |
112
click to vote
DEDS
1998
14 years 11 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
107
click to vote
HYBRID
1997
Springer
15 years 3 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
122
click to vote
EUROCAST
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
SIMULATION
2008
14 years 11 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
108
click to vote
RTCSA
1997
IEEE
15 years 3 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...