Sciweavers

383 search results - page 18 / 77
» Stable concurrent synchronization in dynamic system networks
Sort
View
EPIA
2003
Springer
15 years 5 months ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
15 years 6 months ago
Two Vision-guided vehicles: temporal coordination using nonlinear dynamical systems
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
Cristina P. Santos, Manuel Ferreira
POPL
2011
ACM
14 years 2 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
SCL
2010
124views more  SCL 2010»
14 years 10 months ago
ISDS small-gain theorem and construction of ISDS Lyapunov functions for interconnected systems
We consider networks of input-to-state dynamically stable (ISDS) systems and use a small-gain condition to assure the ISDS property for their interconnection. Under this small-gai...
Sergey Dashkovskiy, Lars Naujok
PERCOM
2010
ACM
14 years 10 months ago
Concurrent scheduling in the Active Bat location system
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...
Oliver Woodman, Robert Harle