241 search results - page 15 / 49 » Controlled Invariance of Discrete Time Systems |
116
click to vote
CAV
2000
Springer
15 years 6 months 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...
92
Voted
CORR
2010
Springer
15 years 2 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...
133
click to vote
HYBRID
1997
Springer
15 years 6 months 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 ...
133
click to vote
WSCG
2004
15 years 3 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...
116
click to vote
CG
2005
Springer
15 years 1 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...