On discrete modeling and model checking for nonlinear analog systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2404, Issue , 2002, Pages 401-414

  Hartong, Walter ^a   Hedrich, Lars ^a   Barke, Erich ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTER AIDED ANALYSIS;

ANALOG SPECIFICATIONS; ANALOG SYSTEMS; DIGITAL MODEL; DISCRETE MODELING; DISCRETE MODELS; INTERSECTION METHOD; NONLINEAR PROPERTIES; THE STANDARD MODEL;

MODEL CHECKING;

EID: 84937570416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45657-0_33     Document Type: Conference Paper

References (14)

1. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of IEEE 2000 971-984
2. Kurshan, R., McMillan, K.: Analysis of digital circuits trough symbolic reduction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 10 1991 1356-71
3. Dang, T., Maler, O.: Reachability analysis via face lifting. HSCC’98: Hybrid Systems: Computation and Control, LNCS 1998 96-109
4. Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. HSCC’00: Hybrid Systems: Computation and Control, LNCS 2000 76-90
5. Hedrich, L., Hartong, W.: Approaches to formal verification of analog circuits. In Wambacq, P., ed.: Low-Power Design Techniques and CAD Tools for Analog and RF Intergrated Circuits. Kluwer Academic Publishers, Boston 2001 155-191
6. Giinther, M., Feldmann, U.: Cad-based electric circuit modeling in industry, part is Mathemetical structure and index of network equations. Suveys on Mathematics for Industry 8 1999 97-129
7. März, R.: Numerical methods for differential algebraic equations. Acta Numerica 1991 141-198
8. Dellnitz, M., Froyland, G., Junge, O.: The algorithms behind gaio - set oriented numerical methods for dynamical systems. Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems eds. B. Fiedler, Springer 2001 145-174
9. Henzinger, T., Ho, P.H.: Algorithmic analysis of nonlinear hybrid systems. CAV’95: International Conference on Computer-Aided Verification, LNCS 939 1995 225-238
10. Neumaier, A.: Interval methods for systems of equations. Cambridge University Press, Cambridge 1990
11. Henzinger, T., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond hytech: Hybrid systems analysis using interval numerical methods. HSCC’00: Hybrid Systems: Computation and Control, LNCS 2000 130-144
12. Burch, J., Clarke, E., Long, D., McMillian, K., Dill, D.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13 1994 401-424
13. Laroussinie, F., Schnoebelen, P.: Specification in ctl+past for verification in ctl. Information and Computation 156 2000 236-263
14. Emerson, E., Mok, A., Sistla, A., Srinivasan, J.: Quantitytive temporal reasoning. CAV’90: International Conference on Computer-Aided Verification, LNCS 1990 136-145