5200 search results - page 327 / 1040 » Symbolic models for control systems |
178
click to vote
ICONS
2008
IEEE
16 years 17 days 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 ...
193
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...
137
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In order to reduce the computational load of the recursive least squares (RLS) algorithm, a decomposition based least squares algorithm is developed for non-uniformly sampled m...
162
click to vote
ICECCS
2008
IEEE
16 years 18 days ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
129
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we investigate the almost sure uniform exponential stabilization problem of Markovian jump linear systems (MJLSs) with logarithmically quantized state feedbacks....