Summary: THE CONCURRENCY COLUMN
BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg Ø, Denmark
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