132
click to vote
HYBRID
15 years 8 months ago
2009 Springer 
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...
107
click to vote
HYBRID
15 years 5 months ago
2009 Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
132
click to vote
HYBRID
15 years 8 months ago
2009 Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
110
click to vote
HYBRID
15 years 8 months ago
2009 Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
110
click to vote
HYBRID
15 years 8 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...
|
Control Systems