Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
THE CONCURRENCY COLUMN BRICS, Department of Computer Science
 

Summary: THE CONCURRENCY COLUMN
BY
LUCA ACETO
BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg Ø, Denmark
luca@cs.auc.dk, http://www.cs.auc.dk/~luca/BEATCS
In this installment of the Concurrency Column, Patricia Bouyer and Fabrice
Chevalier offer a survey of results on the control of timed and hybrid systems.
This is a very active area of research that is both the source of interesting
theoretical problems and, in light of the ubiquituous presence of embedded
systems, has the potential for wide practical applications.
I hope that readers of this survey will enjoy it and will be enticed to work on
this difficult, but rewarding, area. I have no doubt that Fabrice and Patricia will
continue to be at the forefront of the developments in this field of concurrency
theory, and look forward to their future work on this topic.
ON THE CONTROL OF TIMED AND HYBRID SYSTEMS
Patricia Bouyer and Fabrice Chevalier
LSV, CNRS & ENS de Cachan, France
{bouyer,chevalie}@lsv.ens-cachan.fr
Abstract

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University
Ecoles Normales Supérieures de Cachan, Laboratoire Spécification et Vérification

 

Collections: Computer Technologies and Information Sciences; Mathematics