1341 search results - page 18 / 269 » Unified Modeling of Complex Real-Time Control Systems |
FBT
1998
13 years 11 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
LICS
1990
IEEE
14 years 2 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
ADAEUROPE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
JCP
2008
13 years 10 months ago
2008
- In this paper, we are presenting a bionic approach towards real-time systems research. Observing that a cell is both real-time computing and real-time manufacturing system, the w...
MICCAI
2006
Springer
14 years 11 months ago
2006
Springer
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...