212 search results - page 18 / 43 » A Framework for Designing Embedded Real-Time Controllers |
139
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
127
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
117
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
123
Voted
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
109
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present the design of a flexible framework for an IP-based network that will support an interactive multimedia (MM) system. The system will enable end users to: ...