1146 search results - page 118 / 230 » Periodically Controlled Hybrid Systems |
121
click to vote
HYBRID
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...
122
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
130
Voted
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
138
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The recent ECMA-368 standard specifies the use of ultra wideband (UWB) technology for high rate communications in wireless personal area networks (WPANs). This paper proposes ...
144
Voted
ROBOCUP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...