2650 search results - page 23 / 530 » Simulation and Control of Reactive Systems |
ISCC
2006
IEEE
2006
IEEE
Time-Critical Underwater Sensor Diffusion with No Proactive Exchanges and Negligible Reactive Floods
14 years 1 months ago
— In this paper we study multi-hop ad hoc routing in a scalable Underwater Sensor Network (UWSN), which is a novel network paradigm for ad hoc investigation of the world below th...
PDSE
1998
13 years 9 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
DAGSTUHL
2004
13 years 9 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We investigate the applicability of multi-agent systems as a control approach for district heating systems. The consumers, i.e., the heat exchange systems, in current district hea...