Sciweavers

157 search results - page 22 / 32
» Necessary conditions for multistationarity in discrete dynam...
Sort
View
IROS
2007
IEEE
113views Robotics» more  IROS 2007»
14 years 2 months ago
Valet parking without a valet
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
David C. Conner, Hadas Kress-Gazit, Howie Choset, ...
ISASSCI
2001
13 years 10 months ago
Towards Optimal Database Maintenance in Wireless Communication Systems
To ensure the consistency of database subsystems involved in wireless communication systems, appropriate scheduled maintenance policies are necessary. However, the short-persisten...
Amine Chohra, Felicita Di Giandomenico, Stefano Po...
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
13 years 12 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea
PERCOM
2007
ACM
14 years 8 months ago
The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
Paolo Costa, Geoff Coulson, Richard Gold, Manish L...
APLAS
2005
ACM
14 years 2 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot