Sciweavers

1146 search results - page 64 / 230
» Periodically Controlled Hybrid Systems
Sort
View
JACIC
2007
84views more  JACIC 2007»
15 years 3 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
15 years 7 months 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...
132
Voted
HYBRID
2009
Springer
15 years 7 months 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
15 years 7 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
15 years 7 months 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