2366 search results - page 82 / 474 » Pfaffian Hybrid Systems |
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
96
Voted
INFOCOM
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper addresses a fundamental problem in resource management for flow-based hybrid switching systems. Such systems aim at efficient transport of layer-3 connectionless IP traf...
122
click to vote
HYBRID
1997
Springer
15 years 4 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 ...
99
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
100
click to vote
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...