共 50 条
- [32] Passification of Linear Systems with Respect to Given Output 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 646 - 651
- [33] Passification of Linear Systems with Respect to Given Output 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 534 - 539
- [35] Automatedly checking function execution context of kernel programs in operation systems Ruan Jian Xue Bao/Journal of Software, 2007, 18 (04): : 1056 - 1067
- [36] Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory 2023 AMERICAN CONTROL CONFERENCE, ACC, 2023, : 2951 - 2956
- [37] Dissipativity Criterion for Linear Systems with a Coupling Delay and Asymptotically Positive Realness Constraint 2012 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND INFORMATION SCIENCES (ICCAIS), 2012, : 60 - 65
- [38] Robust dissipativity and dissipation of a class of fractional-order uncertain linear systems IET CONTROL THEORY AND APPLICATIONS, 2019, 13 (10): : 1454 - 1465
- [39] Optimizing bounded model checking for linear hybrid systems VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 396 - 412
- [40] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415