241 search results - page 15 / 49 » Controlled Invariance of Discrete Time Systems |
CAV
2000
Springer
14 years 10 days ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
HYBRID
1997
Springer
14 years 4 days ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
WSCG
2004
13 years 9 months ago
2004
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
CG
2005
Springer
13 years 7 months ago
2005
Springer
This paper explores the visualization of two-dimensional stable and unstable manifolds of the origin (a saddle point) in a four-dimensional Hamiltonian system arising from control...