Sciweavers

1146 search results - page 81 / 230
» Periodically Controlled Hybrid Systems
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
HYBRID
2000
Springer
14 years 22 days ago
Ellipsoidal Techniques for Reachability Analysis
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
Alexander B. Kurzhanski, Pravin Varaiya
CDC
2009
IEEE
14 years 1 months ago
Dynamic practical stabilization of sampled-data linear distributed parameter systems
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
Ying Tan, Emmanuel Trélat, Yacine Chitour, ...
MIG
2010
Springer
13 years 7 months ago
Full-Body Hybrid Motor Control for Reaching
Abstract. In this paper, we present a full-body motor control mechanism that generates coordinated and diverse motion during a reaching action. Our framework animates the full huma...
Wenjia Huang, Mubbasir Kapadia, Demetri Terzopoulo...
RTAS
2009
IEEE
14 years 3 months ago
Power-Aware CPU Utilization Control for Distributed Real-Time Systems
CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable environmen...
Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu