1469 search results - page 137 / 294 » Discretization of a Continuous Curve |
100
click to vote
WSC
1998
15 years 5 months ago
1998
This document presents an overview of the Extend modeling environment. Extend is a general purpose graphically oriented discrete event and continuous simulation application with a...
112
click to vote
COR
2002
15 years 4 months ago
2002
We propose fast heuristics for large-scale covering-location problems in which the set of demand points is discrete and the set of potential location sites is continuous. These he...
144
click to vote
AUTOMATICA
2008
2008
Stabilizability of switched linear systems does not imply the existence of convex Lyapunov functions
15 years 3 months ago
Counterexamples are given which show that a linear switched system (with controlled switching) that can be stabilized by means of a suitable switching law does not necessarily admi...
162
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
130
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...