-
1
-
-
0004123334
-
-
Tech. Rep. MSUCL-1088, National Superconducting Cyclotron Lab., Michigan State University, USA
-
Berz, M.: COSY INFINITY version 8 reference manual. Tech. Rep. MSUCL-1088, National Superconducting Cyclotron Lab., Michigan State University, USA (1997)
-
(1997)
COSY INFINITY Version 8 Reference Manual
-
-
Berz, M.1
-
2
-
-
84919401135
-
A Machine Program for Theorem Proving
-
Davis, M., Logemann, G., Loveland, D.: A Machine Program for Theorem Proving. Commun. ACM 5, 394-397 (1962)
-
(1962)
Commun. ACM
, vol.5
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
3
-
-
84881072062
-
A Computing Procedure for Quantification Theory
-
Davis, M., Putnam, H.: A Computing Procedure for Quantification Theory. Journal of the ACM 7(3), 201-215 (1960)
-
(1960)
Journal of the ACM
, vol.7
, Issue.3
, pp. 201-215
-
-
Davis, M.1
Putnam, H.2
-
4
-
-
56749155644
-
SAT modulo ODE: A direct SAT approach to hybrid systems
-
Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. Springer, Heidelberg
-
Eggers, A., Fränzle, M., Herde, C.: SAT modulo ODE: A direct SAT approach to hybrid systems. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 171-185. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5311
, pp. 171-185
-
-
Eggers, A.1
Fränzle, M.2
Herde, C.3
-
5
-
-
50649119026
-
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure
-
Fränzle, M., Herde, C., Ratschan, S., Schubert, T., Teige, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT Special Issue on Constraint Programming and SAT 1(3-4), 209-236 (2007)
-
(2007)
JSAT Special Issue on Constraint Programming and SAT
, vol.1
, Issue.3-4
, pp. 209-236
-
-
Fränzle, M.1
Herde, C.2
Ratschan, S.3
Schubert, T.4
Teige, T.5
-
6
-
-
78149268659
-
Including ordinary differential equations based constraints in the standard CP framework
-
Cohen, D. (ed.) CP 2010. Springer, Heidelberg
-
Goldsztejn, A., Mullier, O., Eveillard, D., Hosobe, H.: Including ordinary differential equations based constraints in the standard CP framework. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 221-235. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6308
, pp. 221-235
-
-
Goldsztejn, A.1
Mullier, O.2
Eveillard, D.3
Hosobe, H.4
-
7
-
-
84974691253
-
Beyond HYTECH: Hybrid systems analysis using interval numerical methods
-
Lynch, N., Krogh, B. (eds.) HSCC 2000. Springer, Heidelberg
-
Henzinger, T., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HYTECH: Hybrid systems analysis using interval numerical methods. In: Lynch, N., Krogh, B. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 130-144. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1790
, pp. 130-144
-
-
Henzinger, T.1
Horowitz, B.2
Majumdar, R.3
Wong-Toi, H.4
-
8
-
-
80052532801
-
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
-
March
-
Ishii, D., Ueda, K., Hosobe, H.: An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. International Journal on Software Tools for Technology Transfer (STTT), 1-13 (March 2011)
-
(2011)
International Journal on Software Tools for Technology Transfer (STTT)
, pp. 1-13
-
-
Ishii, D.1
Ueda, K.2
Hosobe, H.3
-
9
-
-
79960952956
-
Interval-based solving of hybrid constraint systems
-
Ishii, D., Ueda, K., Hosobe, H., Goldsztejn, A.: Interval-based solving of hybrid constraint systems. In: Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, pp. 144-149 (2009)
-
(2009)
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems
, pp. 144-149
-
-
Ishii, D.1
Ueda, K.2
Hosobe, H.3
Goldsztejn, A.4
-
10
-
-
58049169185
-
Guaranteed nonlinear parameter estimation for continuous-time dynamical models
-
Kieffer, M., Walter, E., Simeonov, I.: Guaranteed nonlinear parameter estimation for continuous-time dynamical models. In: Proceedings 14th IFAC Symposium on System Identification, Newcastle, Aus, pp. 843-848 (2006)
-
(2006)
Proceedings 14th IFAC Symposium on System Identification, Newcastle, Aus
, pp. 843-848
-
-
Kieffer, M.1
Walter, E.2
Simeonov, I.3
-
11
-
-
0003327189
-
Über das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen
-
Müller, M.: Über das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen. Mathematische Zeitschrift 26, 619-645 (1927)
-
(1927)
Mathematische Zeitschrift
, vol.26
, pp. 619-645
-
-
Müller, M.1
-
12
-
-
38149105561
-
-
Tech. Rep. CAS-06-06-NN, Department of Computing and Software, McMaster University, Hamilton, Ontario, L8S 4K1 VNODE-LP
-
Nedialkov, N.S.: VNODE-LP - a validated solver for initial value problems in ordinary differential equations. Tech. Rep. CAS-06-06-NN, Department of Computing and Software, McMaster University, Hamilton, Ontario, L8S 4K1 (2006), VNODE-LP http://www.cas.mcmaster.ca/~nedialk/vnodelp
-
(2006)
VNODE-LP - A Validated Solver for Initial Value Problems in Ordinary Differential Equations
-
-
Nedialkov, N.S.1
-
13
-
-
84884180207
-
Implementing a rigorous ODE solver through literate programming
-
Rauh, A., Auer, E. (eds.) Mathematical Engineering, Springer, Heidelberg
-
Nedialkov, N.S.: Implementing a rigorous ODE solver through literate programming. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties, Mathematical Engineering, vol. 3, pp. 3-19. Springer, Heidelberg (2011)
-
(2011)
Modeling, Design, and Simulation of Systems with Uncertainties
, vol.3
, pp. 3-19
-
-
Nedialkov, N.S.1
-
14
-
-
0004134599
-
-
Ph.D. thesis, Department of Computer Science, University of Toronto, Toronto, Canada, M5S 3G4 February
-
Nedialkov, N.S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. Ph.D. thesis, Department of Computer Science, University of Toronto, Toronto, Canada, M5S 3G4 (February 1999)
-
(1999)
Computing Rigorous Bounds on the Solution of An Initial Value Problem for An Ordinary Differential Equation
-
-
Nedialkov, N.S.1
-
15
-
-
38149092487
-
Region stability proofs for hybrid systems
-
Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. Springer, Heidelberg
-
Podelski, A., Wagner, S.: Region stability proofs for hybrid systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 320-335. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4763
, pp. 320-335
-
-
Podelski, A.1
Wagner, S.2
-
16
-
-
70350344688
-
A hybrid bounding method for computing an over-approximation for the reachable space of uncertain nonlinear systems
-
Ramdani, N., Meslem, N., Candau, Y.: A hybrid bounding method for computing an over-approximation for the reachable space of uncertain nonlinear systems. IEEE Transactions on Automatic Control 54(10), 2352-2364 (2009)
-
(2009)
IEEE Transactions on Automatic Control
, vol.54
, Issue.10
, pp. 2352-2364
-
-
Ramdani, N.1
Meslem, N.2
Candau, Y.3
-
17
-
-
77949659599
-
Computing reachable sets for uncertain nonlinear monotone systems
-
Ramdani, N., Meslem, N., Candau, Y.: Computing reachable sets for uncertain nonlinear monotone systems. Nonlinear Analysis: Hybrid Systems 4(2), 263-278 (2010)
-
(2010)
Nonlinear Analysis: Hybrid Systems
, vol.4
, Issue.2
, pp. 263-278
-
-
Ramdani, N.1
Meslem, N.2
Candau, Y.3
-
18
-
-
85016685426
-
Safety verification of hybrid systems by constraint propagation based abstraction refinement
-
Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation based abstraction refinement. ACM Transactions in Embedded Computing Systems 6(1) (2007)
-
(2007)
ACM Transactions in Embedded Computing Systems
, vol.6
, Issue.1
-
-
Ratschan, S.1
She, Z.2
-
19
-
-
84944402340
-
Tuning SAT checkers for bounded model checking
-
Emerson, E., Sistla, A. (eds.) CAV 2000. Springer, Heidelberg
-
Shtrichman, O.: Tuning SAT checkers for bounded model checking. In: Emerson, E., Sistla, A. (eds.) CAV 2000. LNCS, vol. 1855, pp. 480-494. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1855
, pp. 480-494
-
-
Shtrichman, O.1
-
20
-
-
84947903771
-
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems
-
Hybrid Systems IV
-
Stursberg, O., Kowalewski, S., Hoffmann, I., Preußig, J.: Comparing timed and hybrid automata as approximations of continuous systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.) HS 1996. LNCS, vol. 1273, pp. 361-377. Springer, Heidelberg (1997) (Pubitemid 127110337)
-
(1997)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.1273
, pp. 361-377
-
-
Stursberg, O.1
Kowalewski, S.2
Hoffmann, I.3
Preussig, J.4
|