共 50 条
- [31] Proving Equivalence between Control Software Variants for Programmable Logic Controllers Using Regression Verification to Reduce Unneeded Variant Diversity PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
- [32] CORRELATION BETWEEN THERMODYNAMIC PARAMETERS (GLC) AND STRUCTURE OF ESTERS CANADIAN JOURNAL OF CHEMISTRY-REVUE CANADIENNE DE CHIMIE, 1981, 59 (15): : 2243 - 2246
- [35] Simultaneous H∞ Stabilization via Fixed-Order Controllers: Equivalence and Computation PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 3244 - 3249
- [36] Switching between multivariable controllers OPTIMAL CONTROL APPLICATIONS & METHODS, 2004, 25 (02): : 51 - 66
- [37] Virtual Synchronous Machines - Classification of Implementations and Analysis of Equivalence to Droop Controllers for Microgrids 2013 IEEE GRENOBLE POWERTECH (POWERTECH), 2013,
- [39] AN EQUIVALENCE BETWEEN DECISION PROCEDURES ANNALS OF MATHEMATICAL STATISTICS, 1968, 39 (05): : 1788 - &