Sciweavers

1131 search results - page 145 / 227
» Control for an Autonomous Bicycle
Sort
View
DATE
2010
IEEE
141views Hardware» more  DATE 2010»
14 years 1 months ago
Loosely Time-Triggered Architectures for Cyber-Physical Systems
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
Albert Benveniste
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
14 years 29 days ago
An Experiment in Internet-Based, Human-Assisted Robotics
: This paper describes an experimental exploration in Internet-based control of robots. The motivation of this work is that Internet communications can be exploited to achieve grea...
Lung Ngai, Wyatt S. Newman, Vincenzo Liberatore
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 9 days 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...
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
14 years 15 hour ago
A probabilistic approach to air traffic complexity evaluation
Assessing air traffic complexity on a mid term horizon can help to timely identify those safety-critical encounter situations that would require many tactical resolution maneuvers ...
Maria Prandini, Jianghai Hu
CDC
2009
IEEE
201views Control Systems» more  CDC 2009»
13 years 12 months ago
Consensus of discrete-time multi-agent systems with nonlinear local rules and time-varying delays
In a multi-agent system (MAS), the agents are often considered to be autonomous entities, such as robots or software programs, each under the influence of a local rule, representin...
Yao Chen, Jinhu Lu, Zongli Lin