Verification of hybrid controlled processing systems based on decomposition and deduction (2001)

by G Frehse, O Stursberg, S Engell, R Huuck, B Lukoschus
Venue:In: Proc. 16 th IEEE Int. Symp. Intelligent Control