A Hybrid Approach for Safety Analysis of Aircraft Systems
暂无分享,去创建一个
[1] Emilia Villani,et al. PETRI NET AND OO FOR THE MODULAR ANALYSIS OF AN AIRCRAFT LANDING SYSTEM , 2003 .
[2] Amy R. Pritchett,et al. Hybrid-system simulation for national airspace system safety analysis , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).
[3] Frank L. Lewis,et al. Aircraft Control and Simulation , 1992 .
[4] Lars Asplund,et al. A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems* , 2004, Real-Time Systems.
[5] John Lygeros,et al. Stochastic Hybrid Models: An Overview , 2003, ADHS.
[6] Henk A. P. Blom,et al. Piecewise deterministic Markov processes represented by dynamically coloured Petri nets , 2005 .
[7] Sarhane Khalfaoui. Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile , 2003 .
[8] Hassane Alla,et al. Discrete, continuous, and hybrid Petri Nets , 2004 .
[9] R. Valette,et al. A Petri net-based object-oriented approach for the modelling of hybrid productive systems , 2005 .
[10] Frédéric Boniol,et al. Robustness analysis of avionics embedded systems , 2003 .