1690 search results - page 104 / 338 » Algorithmic Properties of Millstream Systems |
132
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
135
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
130
click to vote
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
150
click to vote
SIMVIS
2003
15 years 5 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...
132
click to vote
SAGA
2001
Springer
15 years 8 months ago
2001
Springer
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...