Sciweavers

71
Voted
HYBRID
2009
Springer
15 years 7 months ago
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
Gang Zheng, Antoine Girard
HYBRID
2009
Springer
15 years 7 months ago
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays
This paper studies distributed networked systems with data dropouts and transmission delays. We propose a decentralized eventtriggering scheme, where a subsystem broadcasts its sta...
Xiaofeng Wang, Michael D. Lemmon
96
Voted
HYBRID
2009
Springer
15 years 7 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
94
Voted
HYBRID
2009
Springer
15 years 7 months ago
On Event Based State Estimation
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...
Joris Sijs, Mircea Lazar
122
Voted
HYBRID
2009
Springer
15 years 7 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...
82
Voted
HYBRID
2009
Springer
15 years 7 months ago
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand La...
HYBRID
2009
Springer
15 years 7 months ago
Distributed Tree Rearrangements for Reachability and Robust Connectivity
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies ...
Michael Schuresko, Jorge Cortés
102
Voted
HYBRID
2009
Springer
15 years 7 months ago
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
Gunther Reißig
94
Voted
HYBRID
2009
Springer
15 years 7 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel
94
Voted
HYBRID
2009
Springer
15 years 7 months ago
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets
Axel Schild, Magnus Egerstedt, Jan Lunze