212 search results - page 18 / 43 » A Framework for Designing Embedded Real-Time Controllers |
RTAS
2008
IEEE
15 years 4 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. ...
RTAS
2005
IEEE
15 years 3 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...
ICRA
2005
IEEE
15 years 3 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 ...
RTAS
2009
IEEE
15 years 4 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...
WORDS
2003
IEEE
15 years 2 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: ...