Sciweavers

1524 search results - page 32 / 305
» Operational Semantics of Hybrid Systems
Sort
View
HYBRID
2005
Springer
15 years 3 months ago
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sa...
ICRA
2007
IEEE
150views Robotics» more  ICRA 2007»
15 years 4 months ago
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints
— The rapidly increasing complexity of tasks robotic systems are expected to carry out underscores the need for the development of motion planners that can take into account disc...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
93
Voted
APNOMS
2006
Springer
15 years 1 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
MOBILWARE
2010
ACM
14 years 7 months ago
ISI and ICI Suppression for Mobile OFDM System by Using a Hybrid 2-Layer Diversity Receiver
An OFDM system is very sensitive to orthogonality relation. For a mobile wireless system, it is impossible to avoid Doppler-induced inter carrier interference (ICI). Moreover, whil...
Jing Gao, Tomohisa Wada
TSMC
2008
113views more  TSMC 2008»
14 years 9 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley