Sonia Batis

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
In this work we develop an approach for the synthesis of the timed control of a class of hybrid systems modeled by rectangular hybrid automata. Our approach is within an automatic control view and is based on the reachable state spaces computation for any location. It consists of two steps, the first one being the computation of the control and the second(More)
  • 1