Sciweavers

1146 search results - page 122 / 230
» Periodically Controlled Hybrid Systems
Sort
View
84
Voted
FLAIRS
2001
15 years 4 months ago
Using Hybrid Automata to Express Realtime Properties in VSE-II
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
Andreas Nonnengart, Georg Rock, Werner Stephan
122
Voted
JCC
2008
132views more  JCC 2008»
15 years 3 months ago
The implementation of a fast and accurate QM/MM potential method in Amber
Abstract: Version 9 of the Amber simulation programs includes a new semi-empirical hybrid QM/MM functionality. This includes support for implicit solvent (generalized Born) and for...
Ross C. Walker, Michael F. Crowley, David A. Case
111
Voted
ICRA
2006
IEEE
215views Robotics» more  ICRA 2006»
15 years 9 months ago
A Hybrid Vision + Ladar Rural Road Follower
— We present a vision- and ladar-based approach to autonomous driving on rural and desert roads that has been tested extensively in a closed-loop system. The vision component use...
Christopher Rasmussen
152
Voted
CONSTRAINTS
2002
143views more  CONSTRAINTS 2002»
15 years 3 months ago
A Constraint-Based Robotic Soccer Team
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
Yu Zhang, Alan K. Mackworth
140
Voted
HYBRID
2010
Springer
15 years 1 months ago
Oscillation analysis of linearly coupled piecewise affine systems
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura