共 50 条
- [1] An Algorithm for Discrete State Sequence and Trajectory Optimization for Hybrid Systems with Partitioned State Space 49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 4223 - 4229
- [4] Automatic verification of hybrid systems with large discrete state space AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 276 - 291
- [5] The Minimum Principle for Time-Varying Hybrid Systems with State Switching and Jumps 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 6723 - 6729
- [7] Exact state set representations in the verification of linear hybrid systems with large discrete state space AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 425 - +