共 50 条
- [31] Symbolic model checking of infinite state systems using Presburger arithmetic COMPUTER AIDED VERIFICATION, 1997, 1254 : 400 - 411
- [32] An Approach to Observability Analysis and Estimation of Human Arm Model 11TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2014, : 947 - 952
- [33] A practical approach to model checking Duration Calculus using Presburger Arithmetic Annals of Mathematics and Artificial Intelligence, 2014, 71 : 251 - 278
- [35] An Efficient Probability Estimation Design for Logarithmic Binary Arithmetic Coding 2019 PICTURE CODING SYMPOSIUM (PCS), 2019,
- [37] ONLINE OBSERVABILITY DETERMINATION AS A FURTHER RESULT OF STATE ESTIMATION ALGORITHMS IEEE TRANSACTIONS ON POWER APPARATUS AND SYSTEMS, 1982, 101 (04): : 767 - 774
- [39] OBSERVABILITY OF CHEMICOTECHNOLOGICAL SYSTEMS IN PROBLEM OF SYNTHESIS OF STATE ESTIMATION SYSTEMS DOKLADY AKADEMII NAUK SSSR, 1978, 241 (02): : 426 - 429
- [40] Quantifying Observability in State Estimation Considering Network Infrastructure Failures 2015 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES LATIN AMERICA (ISGT LATAM), 2015, : 171 - 176