Sciweavers

138 search results - page 22 / 28
» Control for discrete singular hybrid systems
Sort
View
CSL
2010
Springer
13 years 9 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
ICRA
2003
IEEE
163views Robotics» more  ICRA 2003»
14 years 1 months ago
An experimental study of hybrid switched system approaches to visual servoing
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
Nicholas R. Gans, Seth Hutchinson
PG
2007
IEEE
14 years 2 months ago
Multilinear Motion Synthesis with Level-of-Detail Controls
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
Tomohiko Mukai, Shigeru Kuriyama
RTSS
2003
IEEE
14 years 1 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
ISLPED
2007
ACM
102views Hardware» more  ISLPED 2007»
13 years 10 months ago
Single inductor, multiple input, multiple output (SIMIMO) power mixer-charger-supply system
A hybrid energy source has become a necessary solution for micro-scale applications, like wireless sensors, because of small form factor and extended lifetime requirements. Conven...
Min Chen, Gabriel A. Rincón-Mora