29 search results - page 3 / 6 » On-the-Fly Controller Synthesis for Discrete and Dense-Time ... |
STACS
1995
Springer
13 years 9 months ago
1995
Springer
ICCS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
SAC
2006
ACM
13 years 5 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
LCTRTS
2010
Springer
14 years 17 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
DEDS
2000
13 years 5 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...