共 50 条
- [1] Control of rectangular multi-affine hybrid systems [J]. PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 2623 - +
- [2] MARCO:: A reachability algorithm for multi-affine systems with applications to biological systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 76 - +
- [3] Reachability analysis of multi-affine systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 348 - 362
- [5] Abstraction by projection and application to multi-affine systems [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 32 - 47
- [7] A novel control-oriented multi-affine qLPV modeling framework [J]. 18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 1019 - 1024
- [9] 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
- [10] Control to facet problems for affine systems on simplices and polytopes - With applications to control of hybrid systems [J]. 2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4175 - 4180