Sciweavers

1146 search results - page 18 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2010
Springer
13 years 9 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
HYBRID
2001
Springer
14 years 8 days ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
HYBRID
1995
Springer
13 years 11 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
HYBRID
2009
Springer
14 years 2 months ago
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...
Daniele Fontanelli, Luigi Palopoli, Roberto Passer...
RTSS
1999
IEEE
14 years 2 days ago
Hierarchical Scheduling of Periodic Messages in Open System
Lynn Y. Zhang, Jane W.-S. Liu, Zhong Deng, Ian R. ...