Symbolic Verification of Hybrid Systems: An Algebraic Approach
EUROPEAN JOURNAL OF CONTROL ; 7 ; 541-556
01.01.2001
16 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 629.895 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Flats : a machine for symbolic and algebraic manipulation
TIBKAT | 1984
|Symbolic Reachability Analysis of Multirate Hybrid Systems
British Library Online Contents | 2007
|A Hybrid Symbolic and Sub-Symbolic Intelligent System for Mobile Robots
British Library Conference Proceedings | 2009
|CFD with Hybrid Symbolic-Numeric Methodology
British Library Conference Proceedings | 2004
|