Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations.

Alongkrit Chutinan Bruce H. Krogh

Published in: HSCC (1999)

Keyphrases

hybrid automata
finite state automata
model checking
flow patterns
closed form
signature verification
affine transformation
flow field
convex hull
line drawings
formal verification
minimum length
affine invariant
moment invariants