A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
-
doi
Date : 1391-02
Article type
Journal
A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
×
https://people.iut.ac.ir/en/j-askari/content/1626640?view=qrcode