共 50 条
- [1] Guaranteed bounds for probabilistic μ PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 3349 - 3354
- [2] Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 536 - 551
- [3] GUARANTEED LOWER BOUNDS FOR EIGENVALUES MATHEMATICS OF COMPUTATION, 2014, 83 (290) : 2605 - 2629
- [4] Guaranteed numerical bounds for eigenvalues SPECTRAL THEORY AND COMPUTATIONAL METHODS OF STURM-LIOUVILLE PROBLEMS, 1997, 191 : 313 - 332
- [7] Rapid routing with guaranteed delay bounds 2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), 2018, : 13 - 22
- [9] Constrained Tracking with Guaranteed Error Bounds 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 3800 - 3805
- [10] A parametric LTI interpolation with guaranteed stability and bounds 2017 25TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2017, : 749 - 754