Henning Burchardt

According to our database, Henning Burchardt authored at least 3 papers between 2005 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Fully Automated Stability Verification for Piecewise Affine Systems.

Jens Oehlerking, Henning Burchardt, Oliver E. Theel

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2005

Towards automatic verification of affine hybrid system stability.

Jens Oehlerking, Henning Burchardt, Oliver E. Theel

SIGBED Rev., 2005

Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems.

Henning Burchardt, Jens Oehlerking, Oliver E. Theel

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005