Satisfaction meets expectations computing expected values of probabilistic hybrid systems with SMT

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

Volumn 6396 LNCS, Issue , 2010, Pages 168-182

  Fränzle, Martin ^a   Teige, Tino ^a   Eggers, Andreas ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION SYSTEMS; EXPECTED VALUES; QUANTITATIVE MEASURES; REACHABILITY; SATISFIABILITY MODULO THEORIES; STOCHASTIC SATISFIABILITY; SYMBOLIC TECHNIQUES;

ELECTRIC GROUNDING; EMBEDDED SYSTEMS; FORMAL METHODS; HYBRID COMPUTERS; HYBRID SYSTEMS; INDUSTRIAL APPLICATIONS;

FORMAL LOGIC;

EID: 78349247503     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16265-7_13     Document Type: Conference Paper

References (10)

1. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, et al. (eds.) [2], ch. 26, pp. 825-885.
2. Biere, A., Heule, M.J.H., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (February 2009)
3. Fränzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. JSAT Special Issue on SAT/CP Integration 1, 209-236 (2007)
4. Fränzle, M., Hermanns, H., Teige, T.: Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 172-186. Springer, Heidelberg (2008)
5. Greifeneder, J., Frey, G.: Probabilistic hybrid automata with variable step width applied to the analysis of networked automation systems. In: Proc. 3rd IFAC Workshop on Discrete Event System Design. IFAC, pp. 283-288 (2006)
6. Majercik, S.M.: Stochastic Boolean satisfiability. In: Biere, et al. (eds.) [2], ch. 27, pp. 887-925
7. Papadimitriou, C.H.: Games against nature. J. Comput. Syst. Sci. 31(2), 288-301 (1985)
8. Teige, T., Eggers, A., Fränzle, M.: Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems. In: Nonlinear Analysis: Hybrid Systems (accepted for publication 2010)
9. Teige, T., Fränzle, M.: Stochastic Satisfiability modulo Theories for Non-linear Arithmetic. In: Perron, L., Trick, M.A. (eds.) CPAIOR 2008. LNCS, vol. 5015, pp. 248-262. Springer, Heidelberg (2008)
10. Zhang, L., She, Z., Ratschan, S., Hermanns, H., Hahn, E.M.: Safety verification for probabilistic hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) Computer Aided Verification. LNCS, vol. 6174, pp. 196-211. Springer, Heidelberg (2010)