-
4
-
-
84928026338
-
Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co-generative plant
-
A. Bobbio, S. Bologna, E. Ciancamerla, P. Incalcaterra, C. Kropp, M. Minichino, and E. Tronci. Advanced techniques for safety analysis applied to the gas turbine control system of ICARO co-generative plant. In X Convegno Tecnologie e Sistemi Energetici Complessi, pages 339-350, 2001.
-
(2001)
X Convegno Tecnologie e Sistemi Energetici Complessi
, pp. 339-350
-
-
Bobbio, A.1
Bologna, S.2
Ciancamerla, E.3
Incalcaterra, P.4
Kropp, C.5
Minichino, M.6
Tronci, E.7
-
6
-
-
0022706656
-
Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach
-
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
7
-
-
0027042242
-
Quantitative Temporal Reasoning
-
E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. Journal of Real Time Systems, 4:331-352, 1992.
-
(1992)
Journal of Real Time Systems
, vol.4
, pp. 331-352
-
-
Emerson, E.A.1
Mok, A.K.2
Sistla, A.P.3
Srinivasan, J.4
-
9
-
-
0035131953
-
Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
-
January
-
M. Gribaudo, M. Sereno, A. Horvaath, and A. Bobbio. Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. Discrete Event Dynamic Systems, 11 (1/2):97-117, January 2001.
-
(2001)
Discrete Event Dynamic Systems
, vol.11
, Issue.1-2
, pp. 97-117
-
-
Gribaudo, M.1
Sereno, M.2
Horvaath, A.3
Bobbio, A.4
-
10
-
-
84860691841
-
A user guide to HyTech
-
Springer Verlag, LNCS
-
T. A. Henzinger, P. H. Ho, and H. Wong-Toi. A user guide to HyTech. In Proceedings 1st Workshop Tools and Algorithms for the Construction and Analysis of Systems -TACAS, pages 41-71. Springer Verlag, LNCS Vol 1019-http://www.eecs.berkeley.edu/tah/HyTech, 1995.
-
(1995)
Proceedings 1st Workshop Tools and Algorithms for the Construction and Analysis of Systems -TACAS
, vol.1019
, pp. 41-71
-
-
Henzinger, T.A.1
Ho, P.H.2
Wong-Toi, H.3
-
11
-
-
0031999321
-
Fluid stochastic Petri nets: Theory, application and solution techniques
-
G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi. Fluid stochastic Petri nets: Theory, application and solution techniques. European Journal of Operational Research, 105(1):184-201, 1998.
-
(1998)
European Journal of Operational Research
, vol.105
, Issue.1
, pp. 184-201
-
-
Horton, G.1
Kulkarni, V.2
Nicol, D.3
Trivedi, K.4
-
12
-
-
4243466300
-
-
Technical report, Università del Piemonte Orientale, Feb
-
A. Horvaath, M. Gribaudo, and A. Bobbio. From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant. Technical report, Università del Piemonte Orientale, Feb 2002, http://www.di.unipmn.it.
-
(2002)
From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant
-
-
Horvaath, A.1
Gribaudo, M.2
Bobbio, A.3
-
13
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77:541-580, 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
14
-
-
84949243479
-
-
NuSMV. http://nusmv.irst.itc.it/index.html.
-
-
-
-
15
-
-
0035131979
-
Comparison of hybrid systems and fluid stochastic Petri nets
-
January
-
B. Tuffin, D. S. Chen, and K. Trivedi. Comparison of hybrid systems and fluid stochastic Petri nets. Discrete Event Dynamic Systems, 11 (1/2):77-95, January 2001.
-
(2001)
Discrete Event Dynamic Systems
, vol.11
, Issue.1-2
, pp. 77-95
-
-
Tuffin, B.1
Chen, D.S.2
Trivedi, K.3
|