1216 search results - page 35 / 244 » Hybrid type checking |
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
ETFA
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
88
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
81
Voted
SCL
2008
14 years 9 months ago
2008
We give a simple proof of the Maximum Principle for smooth hybrid control systems by reducing the hybrid problem to an optimal control problem of Pontryagin type and then by using...
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...