2404 search results - page 153 / 481 » Postmodernism and Control Engineering |
176
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
186
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— Building a basketball robot is a recently launched project at the Institute of Automatic Control Engineering (LSR) for investigating fast manipulation with non-negligible dynam...
159
click to vote
TASE
2007
IEEE
16 years 20 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
143
click to vote
FATES
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
182
click to vote
EDBTW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The rapid increase on the circulation of data over the web has highlighted the need for distributed storage of Internet-accessible information due to the rapid increase o...