Sciweavers

3458 search results - page 175 / 692
» Abstracting Control
Sort
View
CONCUR
2001
Springer
15 years 7 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
IJMMS
1998
111views more  IJMMS 1998»
15 years 2 months ago
Formulating the cognitive design problem of air traffic management
s the abstracted cognitive behaviours of the controllers and their tools in performingw the traffic management task. Taken together, the models provide a statement of worksystem pe...
John Dowell
ICRA
2003
IEEE
474views Robotics» more  ICRA 2003»
15 years 8 months ago
Mobile robot navigation using sensor fusion
Abstract— This paper considers the localizaton and navigation of a mobile robot. The control strategy is based on a nonlinear model predictive control technique that utilizes the...
Fernando C. Lizarralde, Eduardo V. L. Nunes, Liu H...
ISSTA
2000
ACM
15 years 6 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...
SMC
2010
IEEE
228views Control Systems» more  SMC 2010»
15 years 1 months ago
A safe communication scheme for an intelligent Wireless Networked Control System Coordination Agent
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...
James H. Taylor, Hazem M. S. Ibrahim, Jeff Slipp, ...