1146 search results - page 118 / 230 » Periodically Controlled Hybrid Systems |
HYBRID
1999
Springer
14 years 1 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...
HYBRID
2005
Springer
14 years 2 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...
HYBRID
2004
Springer
14 years 2 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...
WCNC
2008
IEEE
14 years 3 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 ...
ROBOCUP
1998
Springer
14 years 25 days 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...