DORTMUND PUBLICATIONS 2002/2003


A BibTeX list of the following publications is available here.

Analysis of Timed Systems

E. Clarke, A. Fehnker, Z. Han, B.H. Krogh, O. Stursberg, M. Theobald: Verification of Hybrid Systems based on Counterexample-Guided Abstraction Refinement. In: Tools and Algorithms for the Construction and Analysis of Systems, Springer-Series: LNCS 2619, 2003, 192-207.
[PDF] 

O. Stursberg and B.H. Krogh: Efficient Representation and Computation of Reachable Sets for Hybrid Systems. In: Hybrid Systems: Computation and Control, Springer-Series: LNCS 2623, 2003, 482-497.
[PDF] 

J. Kapinski, O. Maler, O. Stursberg, and B.H. Krogh: On Systematic Simulation of Open Continuous Systems. In: Hybrid Systems: Computation and Control, Springer-Series: LNCS 2623, 2003, 283-297.
[PS]

E. Clarke, A. Fehnker, Z. Han, B.H. Krogh, J. Ouaknine, O. Stursberg, M. Theobald: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Accepted for: Int. Journal Foundations of Computer Science, 2003.
 [PDF]

O. Stursberg, A. Fehnker, Z. Han, and B.H. Krogh: Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. Accepted for IFAC Conf. on Analysis and Design of Hybrid Systems, St. Malo, 2003.
[PDF]

Panek, S.; Stursberg, O.; Engell, S.: Optimization of Timed Automata Models Using Mixed-Integer Programming. Submitted for FORMATS 2003


Optimization

O. Stursberg and S. Panek: Control of Switched Hybrid Systems based on Disjunctive Formulations. In: Hybrid Systems: Computation and Control, Springer-Series LNCS, Vol. 2289, 2002, 421-435.
[PDF]

J. Till, S. Engell, S. Panek, and O. Stursberg: Empirical Complexity Analysis of an Approach for Mixed-Integer Optimization of Hybrid Systems. Accepted for IFAC Conf. on Analysis and Design of Hybrid Systems, St. Malo, 2003.
[PDF]

O. Stursberg and S. Engell: Optimal Control of Switched Continuous Systems Using Mixed-Integer Programming. Proc. 15th IFAC World Congress, 2002, Paper-ID: Th-A06-4.
[PDF]


Scheduling of Chemical Processing Plants

G. Sand and S. Engell: Aggregated batch scheduling in a feedback structure. In: J. v. Schijndel, J. Grievink (Eds.): 12th European Symposium on Computer-Aided Process Engineering, Den Haag, 26.-29.5.2002, Computer-Aided Chemical Engineering Vol. 10, Elsevier Science, Amsterdam, 2002, 775-780.
[PS]

Engell, S.; Sand, G.: A two-stage stochastic integer programming approach to real-time scheduling. In: Grossmann, I.E. (Hrsg.); McDonald, C.M. (Hrsg.): /Fourth International Conference on Foundations of Computer-Aided Process Operations/ Austin, TX : CACHE Corp., 2003. - ISBN 0965589110, S. 347-350
[PDF]

Sand, G.; Engell, S.: Risk conscious scheduling of batch processes. Accepted for: Conference on Process Systems Engineering (PSE) 2003, Kunming, China, 22.-27.6.2003.
[PDF]

Engell, S.; Märkert, A.; Sand, G.; Schultz, R.: Aggregated scheduling of a multiproduct batch plant by two-stage stochastic integer programming. Submitted to Optimization and Engineering (2003)
[PDF]

Sand, G.; Engell, S.: Modelling and Solving Real-Time Scheduling Problems by Stochastic Integer Programming. Submitted to Computers and Chemical Engineering (2003).
[PDF]

Panek, S.; Engell, S.: Mathematical Model Formulation for the Axxom Case Study
[PDF]