[1] [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] [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] [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] [6] LEFEBVRE D.On-line fault diagnosis with partially observed Petri nets ［J］.IEEE Transactions on Automatic Control, 2013, 59(7):1919-1924.

[7] [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] [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] [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] [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] [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] [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] [15] ZAFER N, LUECKE G R.Stability of gas pressure regulators［J］.Applied Mathematical Modeling, 2008, 32(1):61-82.