828 search results - page 26 / 166 » Modularity for Timed and Hybrid Systems |
122
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
WSC
2004
15 years 3 months ago
2004
This paper describes a modular autonomous material handling equipment solution for flexible automation. Discrete Event Simulation is in this case used as a tool for shortening tim...
125
click to vote
RSP
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
121
Voted
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper we develop a theory of metamodules and an associated distributed asynchronous planner which generalizes previous work on metamodules for lattice-based modular rob...
122
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...