Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge
Kunihiko Hiraishi · Institutional Repositories DataBase (IRDB) · 2004
We study analysis of hybrid systems under incomplete knowledge. The class of hybrid systems to be considered is assumed to have the form of a rectangular hybrid automaton such that each constant in invariants and guards is given as a parameter. We develop a method based on symbolic computation that computes an approximation of the discrete behavior of the automaton. We also show an implementation on a constraint logic programming language.