Akitsugu Tsuchiya

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 distributed control systems(DCS), since the entire of designed distributed controllers, which interact complicatedly, each other operated plants. Therefore, in the development of the system, verification whether the controllers satisfy given specification is important. However, the existing description languages, for example, temporal interval, are too(More)
  • 1