共 50 条
- [32] Determining the specification of a control system: An illustrative example Rigorous Development of Complex Fault-Tolerant Systems, 2006, 4157 : 114 - 132
- [37] CLASSICAL RESPONSE THEORY PROPAGATORS - AN ILLUSTRATIVE EXAMPLE JOURNAL OF CHEMICAL PHYSICS, 1986, 84 (03): : 1762 - 1763
- [38] Complexity in automation of SOS proofs: An illustrative example PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 5851 - 5856