Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Compiling Real-Time Specifications into Extended Automata , 1992, IEEE Trans. Software Eng..
[2] François Baccelli,et al. Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics , 2002, IEEE Trans. Control. Syst. Technol..
[3] Hongye Su,et al. Petri net controller synthesis for discrete event systems using weighted inhibitor arc , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[4] James C. Corbett,et al. Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..
[5] R. Dodd,et al. Coloured Petri Net Modelling of Real-Time Task Scheduling , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.
[6] Alan Burns,et al. Fixed priority pre-emptive scheduling: An historical perspective , 1995, Real-Time Systems.
[7] Duncan Clarke,et al. A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems , 1998, Real-Time Systems.
[8] Enrico Vicario,et al. Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets , 2005, IEEE Transactions on Software Engineering.
[9] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[10] Jianjun Yuan,et al. An improved rate-monotonic scheduler and a real-time open control platform for robotic control algorithm verification , 2007, 2007 IEEE International Conference on Robotics and Biomimetics (ROBIO).
[11] Wlodzimierz M. Zuberek,et al. Petri net models of process synchronization mechanisms , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).
[12] Jeffrey J. P. Tsai,et al. Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications , 1995, IEEE Trans. Software Eng..