Probabilistic timed behavior trees

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

Volumn 4591 LNCS, Issue , 2007, Pages 156-175

  Colvin, Robert ^a   Grunske, Lars ^a   Winter, Kirsten ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Behavior trees; Model checking; Probabilities; Timed automata

Indexed keywords

AUTOMATA THEORY; FORMAL METHODS; MODEL CHECKING; PROBABILITY; RELIABILITY; USER INTERFACES;

BEHAVIOR TREES; DEPENDABILITY PROPERTIES; TIMED AUTOMATA;

TREES (MATHEMATICS);

EID: 38149052936     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73210-5_9     Document Type: Conference Paper

References (20)

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
2. Beauquier, D.: On probabilistic timed automata. Theoretical Computer Science 292(1), 65-84 (2003)
3. Birolini, A.: Reliability Engineering: Theory and Practice, 3rd edn. Springer, Heidelberg (1999)
4. Bengtsson, J., Wang, Y.: Timed automata: Semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, Springer, Heidelberg (2004)
5. Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2003), pp. 2-13. IEEE Computer Society Press, Los Alamitos (2003)
6. Grunske, L., Lindsay, P., Winter, K., Yatapanage, N.: An automated failure mode and effect analysis based on high-level design specification with Behavior Trees. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 129-149. Springer, Heidelberg (2005)
7. Grunske, L., Winter, K., Colvin, R.: Timed Behavior Trees and their Application to Verifying Real-time Systems. In: Proc. of 18th Australian Conference on Software Engineering (ASWEC 2007), April 2007, accepted for publication (2007)
8. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
9. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
10. Jansen, D.N., Hermanns, H., Katoen, J.-P.: A probabilistic extension of UML Statecharts. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 355-374. Springer, Heidelberg (2002)
11. Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design 29, 33-78 (2006)
12. Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic timed automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 123-137. Springer, Heidelberg (2000)
13. Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theoretical Computer Science 282(1), 101-150 (2002)
14. Kwiatkowska, M.: Model checking for probability and time: From theory to practice. In: Proc. 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), Invited Paper, pp. 351-360. IEEE Computer Society Press, Los Alamitos (2003)
15. Lowe, G.: Probabilistic and prioritized models of timed CSP. Theoretical Computer Science 138(2), 315-352 (1995)
16. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. Wiley, Chichester (1995)
17. Priami, C.: Stochastic π calculus. The. Computer Journal 38(6), 578-589 (1995)
18. Troubitsyna, E.: Reliability assessment through probabilistic refinement. Nordic Journal of Computing 6(3), 320-342 (1999)
19. Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: Int. Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 104-113. IEEE Computer Society Press, Los Alamitos (2004)
20. Winter, K.: Formalising Behaviour Trees with CSP. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 148-167. Springer, Heidelberg (2004)