2850 search results - page 20 / 570 » On Timed Models and Full Abstraction |
92
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
123
click to vote
RTSS
2003
IEEE
15 years 5 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
74
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Vision can be used as a sensor for measuring the position of a visual marker. When the displacement of the marker over the camera exposure time is significant, the obtained po...