Sciweavers

13717 search results - page 457 / 2744
» Control Systems
Sort
View
SMC
2007
IEEE
135views Control Systems» more  SMC 2007»
16 years 18 days ago
Assessing coordination overhead in control of robot teams
—Conventional models of multirobot control assume independent robots and tasks. This allows an additive model in which the operator controls robots sequentially neglecting each u...
Jijun Wang, Michael Lewis
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 8 months ago
Robust grey-box closed-loop stop-and-go control
This paper presents a robust stop-and-go control law, especially well adapted to car following scenarios in urban environments. Since many vehicle/road interaction factors (road sl...
Jorge Villagra, Brigitte d'Andréa-Novel, Mi...
FASE
2009
Springer
16 years 1 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
RTCSA
2000
IEEE
15 years 10 months ago
Extensions to optimistic concurrency control with time intervals
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
Jan Lindström
CASES
2004
ACM
15 years 11 months ago
Hardware assisted control flow obfuscation for embedded processors
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
Xiaotong Zhuang, Tao Zhang, Hsien-Hsin S. Lee, San...