A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton

A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
-

doi
#
Article type
Journal
https://people.iut.ac.ir/en/j-askari/content/1626640