103 search results - page 2 / 21 » A Contract-based Approach to Designing Safe Systems |
JMLR
2002
13 years 5 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
CONTEXT
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper argues that the driving task exhibits the properties of complex systems. Driving behavior emerges from the intricate and complex interactions between the drive...
TIC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
CTW
2006
13 years 5 months ago
2006
Throughout the history of human-machine systems design has had a technological bias in the sense that design for technology came first with design for humans as a distant second. O...