Niek G. Jansen

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
A hybrid automation is one of the most popular formal models for hybrid system specification. The Chi language is a hybrid formalism for modeling, simulation and verification. It consists of a number of operators that operate on all process terms, including differential algebraic equations. This paper relates the two formalisms by means of a formal(More)
  • 1