1059 search results - page 102 / 212 » Time-triggered implementations of dynamic controllers |
138
Voted
ICONS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
130
Voted
EEMMAS
2007
Springer
15 years 8 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
156
click to vote
WSC
2007
15 years 5 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
107
click to vote
COR
2008
15 years 1 months ago
2008
This paper deals dynamically with the question of how recruitment to terror organizations is influenced by counter-terror operations. This is done within a optimal control model, ...
118
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...