5239 search results - page 520 / 1048 » Model-Integrated Embedded Systems |
219
click to vote
IPSN
2005
Springer
16 years 18 days ago
2005
Springer
Abstract—This paper presents a sensor-based, networked embedded system, referred to as the Particle computer system. It is comprised of tiny wireless sensor nodes, capable of com...
237
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
190
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
256
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
227
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Feedback control techniques have recently been applied to a variety of real-time systems. However, a fundamental issue that was left out is guaranteeing system controllability and...