Development and validation of distributed reactive control systems

Development and validation of distributed reactive control systems

A reactive control system is a computer system reacting to certain stimuli emitted by its environment in order to maintain it in a desired state. Distributed reactive control systems are generally composed of several processes, running in parallel on one or more computers, communicating with one ano...

Full description

Bibliographic Details
Main Author: Meuter, Cédric
Other Authors: Massart, Thierry
Format: Doctoral Thesis
Language:fr
Published: Universite Libre de Bruxelles 2008
Subjects:
Sciences exactes et naturelles
Informatique générale
Electronic data processing > Distributed processing
Distributed operating systems (Computers)
Parallel computers
Traitement réparti
Systèmes d'exploitation répartis
Ordinateurs parallèles
temporal logics
distributed systems
control
testing
model checking
formal methods
Online Access:http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210552

Internet

http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210552

Similar Items