Search: (more)
Header

M.Eng. Xian Li

email
xian.li (at) cs.uni-kl.de
phone
+49 631 205 3142
fax
+49 631 205 4409
address
P.O. Box 3049
67653 Kaiserslautern
Germany
building/room
48/479
research interests
Hybrid systems play an important role in model-based design which is common in engineering disciplines: Here, a model of the system to be built is made, simulated, analyzed, and optimized before actually building the system -- preferably with the help of computer-aided design tools. My research is based on the Quartz language with its extension to hybrid systems. The overall goal is to combine the modeling capabilities of the Quartz language with the simulation/verification capabilities of various SAT/SMT solvers and theorem provers. This includes:
  • symbolic simulation algorithms for parameterized formal models supporting standard data types (reals, integers and booleans) and affine dynamics
  • verification condition generation procedures to generate proof goals for safety property verification of hybrid systems
  • verification techniques and strategies evaluation for solving verification conditions using SAT/SMT solvers and theorem provers
  • verification-based approaches to detecting Zeno behaviors
see also my poster
publications
all | authored | edited/supervised | talks