Sciweavers

1404 search results - page 148 / 281
» On optimal input design in system identification for control
Sort
View
PLDI
2003
ACM
14 years 1 months ago
Linear analysis and optimization of stream programs
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
Andrew A. Lamb, William Thies, Saman P. Amarasingh...
HYBRID
2001
Springer
14 years 16 days ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
IROS
2007
IEEE
105views Robotics» more  IROS 2007»
14 years 2 months ago
Experiments in robotic boat localization
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
Amit Dhariwal, Gaurav S. Sukhatme
NIME
2004
Springer
95views Music» more  NIME 2004»
14 years 1 months ago
Don't Just Play it, Grow it! : Breeding Sound Synthesis and Performance Mappings
This paper describes the use of evolutionary and artificial life techniques in sound design and the development of performance mapping to facilitate the real-time manipulation of ...
James Mandelis, Phil Husbands
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
13 years 5 months ago
Actuator fault detection and diagnosis based on morphology-wavelet
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
Yi Zhang, GuoLian Hou, Baojiang Wu