Sciweavers

1005 search results - page 92 / 201
» Agile Methods for Embedded Systems
Sort
View
158
Voted
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 7 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
142
Voted
HYBRID
2009
Springer
15 years 9 months ago
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
Falk M. Hante, Günter Leugering
106
Voted
SAC
2009
ACM
15 years 9 months ago
Response time analysis of software transactional memory-based distributed real-time systems
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
PODC
2009
ACM
16 years 3 months ago
Brief announcement: self-assembly as graph grammar as distributed system
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
Aaron Sterling
110
Voted
IROS
2006
IEEE
117views Robotics» more  IROS 2006»
15 years 8 months ago
Distributed Control System of Humanoid Robots based on Real-time Ethernet
— In this paper we realize a real-time communication on Ethernet and develop an onbody distributed control system for a humanoid robot, HRP-3P. Real-time communication on Etherne...
Fumio Kanehiro, Yoichi Ishiwata, Hajime Saito, Kaz...