320 search results - page 47 / 64 » Constructing Invariants for Hybrid Systems |
204
click to vote
CDC
2010
IEEE
15 years 29 days ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
149
click to vote
ESANN
2001
15 years 7 months ago
2001
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...
163
click to vote
SAFECOMP
2004
Springer
15 years 11 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
201
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
160
click to vote
JMM2
2006
15 years 5 months ago
2006
We present a low cost, hybrid active/passive 3D scanning system based on an off-the-shelf camera, a laser stripe illuminator and a turntable. The system combines the good accuracy ...