Sciweavers

383 search results - page 18 / 77
» Stable concurrent synchronization in dynamic system networks
Sort
View
EPIA
2003
Springer
14 years 23 days 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»
14 years 1 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
12 years 10 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»
13 years 6 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
13 years 6 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