共 50 条
- [4] Symbolic Reachability Computation of A Class of Nonlinear Systems PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 706 - 710
- [5] Symbolic computation for the analysis and synthesis of nonlinear control systems SOFTWARE FOR ELECTRICAL ENGINEERING ANALYSIS AND DESIGN IV, 1999, 2 : 255 - 264
- [6] Symbolic computation tools for dynamical nonlinear control systems COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 393 - 404
- [10] Symbolic computation in nonlinear control systems analysis: The example of bilinearization Math Comput Simul, 1 (11-27):