HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies ...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
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...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
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 ...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
Event-driven control systems provide interesting benefits such as reducing resource utilization. This paper formulates the optimal boundary and regulator design problem that minim...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
HYBRID
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...