Gervais Gaudiére

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper surveys various formal approaches that could be used to facilitate the development of the train control system described in BART case study. This system is interesting because train control must take into account complex behaviors, positional uncertainties, noise, continuous aspects, and a prede ned computational architecture. The approaches(More)
  • 1