A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
-
doi
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