Using Analytic CLP to Model and Analyze Hybrid Systems.

Timothy J. Hickey, David K. Wittenberg

Browse the full FlAIRS paper archive.