[1] KRISTIANSEN R, NICKLASSON P J.Spacecraft formation flying:a review and new results on state feedback control[J].Acta Astronautica, 2009, 65(11/12):1537-1552.
[2] YANG H, JIANG B, COCQUEMPOT V, et al.Spacecraft formation stabilization and fault tolerance:a state-varying switched system approach[J].Systems & Control Letters, 2013, 62(9):715-722.
[3] HWANG I, KIM S, KIM Y, et al.A survey of fault detec-tion, isolation, and reconfiguration methods[J].IEEE Transactions on Control Systems Technology, 2010, 18(3):636-653.
[6] LEFEBVRE D.On-line fault diagnosis with partially observed Petri nets [J].IEEE Transactions on Automatic Control, 2013, 59(7):1919-1924.
[7] CABASINO M P, GIUA A, SEATZU C.Diagnosability of discrete event systems using labeled Petri nets[J].IEEE Transactions on Automation Science & Engineering, 2014, 11(1):144-153.
[8] DECLERCK P, BONHOMME P.State estimation of timed labeled Petri nets with unobservable transitions[J].IEEE Transactions on Automation Science & Engineering, 2014, 11(1):103-110.
[9] BERNARDI S, CAMPOS J, MERSEGUER J.Timing-failure risk assessment of UML design using time Petri net bound techniques [J].IEEE Transactions on Industrial Informatics, 2011, 7(1):90-104.
[10] CABASINO M P, LAFORTUNE S, SEATZU C.Optimal sensor selection for ensuring diagnosability in labeled Petri nets[J].Automatica, 2013, 49(8):2373-2383.
[11] LIME D, ROUX O H.Model checking of time Petri nets using the state class timed automaton[J].Discrete Event Dynamic Systems, 2006, 16(2):179-205.
[13] DARBY R.The dynamic response of pressure relief valves in vapor or gas service[J].Journal of Loss Prevention in the Process Industries, 2013, 26(6):1262-1268.
[15] ZAFER N, LUECKE G R.Stability of gas pressure regulators[J].Applied Mathematical Modeling, 2008, 32(1):61-82.