Sciweavers

882 search results - page 102 / 177
» Observing Infinite-dimensional Dynamical Systems
Sort
View
AAAI
1996
15 years 5 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
14 years 11 months ago
Visual feedback attitude synchronization in leader-follower type visibility structures
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
Tatsuya Ibuki, Takeshi Hatanaka, Masayuki Fujita, ...
CONCUR
2003
Springer
15 years 9 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
ECOOP
2003
Springer
15 years 9 months ago
A Calculus of Untyped Aspect-Oriented Programs
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
Radha Jagadeesan, Alan Jeffrey, James Riely
ISLPED
2007
ACM
84views Hardware» more  ISLPED 2007»
15 years 6 months ago
Towards a software approach to mitigate voltage emergencies
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
Meeta Sharma Gupta, Krishna K. Rangan, Michael D. ...