共 50 条
- [1] Study of Piecewise Multi-affine models for Genetic Regulatory Networks via a Lyapunov approach: an LMI framework [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 16739 - 16744
- [3] Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems [J]. COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 591 - 598
- [4] Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 192 - 208
- [10] Data classification and parameter estimation for the identification of piecewise affine models [J]. 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 20 - 25