Approximate Bisimulation for Hybrid Systems Based on Transition Relations
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 47 , 12 ; 614-620
2011-01-01
7 pages
Article (Journal)
Unknown
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory
British Library Online Contents | 2011
|On the Approximate Division of Fuzzy Relations
British Library Conference Proceedings | 2005
|Approximate Model Checking of Stochastic Hybrid Systems
British Library Online Contents | 2010
|British Library Conference Proceedings | 2013
|