Sciweavers

1146 search results - page 64 / 230
» Periodically Controlled Hybrid Systems
Sort
View
JACIC
2007
84views more  JACIC 2007»
13 years 7 months ago
A Modular, Hybrid System Architecture for Autonomous, Urban Driving
Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
David Wooden, Matthew Powers, Magnus Egerstedt, He...
IWSSD
2000
IEEE
14 years 9 days ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
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...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
HYBRID
2009
Springer
14 years 16 days ago
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
Wei Zhang, Alessandro Abate, Jianghai Hu
HYBRID
2009
Springer
13 years 11 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
HYBRID
1998
Springer
14 years 4 days ago
Reachability Analysis via Face Lifting
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
Thao Dang, Oded Maler