121
Voted
HYBRID
15 years 7 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...
104
Voted
HYBRID
15 years 4 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...
124
Voted
HYBRID
15 years 7 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...
HYBRID
15 years 7 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...
101
click to vote
HYBRID
15 years 7 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