Sciweavers

18493 search results - page 171 / 3699
» Timers for Distributed Systems
Sort
View
123
Voted
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 5 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 10 months ago
Distributed self-triggered control for multi-agent systems
Abstract-- It is desirable to limit the amount of communication and computation generated by each agent in a large multi-agent system. Event- and self-triggered control strategies ...
Dimos V. Dimarogonas, Emilio Frazzoli, Karl Henrik...
ISSADS
2004
Springer
15 years 9 months ago
A Distributed Digital Text Accessing and Acquisition System
Adolfo Guzmán-Arenas, Victor-Polo de Gyves