International Workshop on Hybrid Systems

Modeling, Simulation and Optimization

May 14-16, 2008

Koç University, Istanbul


Location: College of Engineering, Koc University

Room: ENG-B30




May 14, 2008, Wednesday



Workshop Registration


Welcome and Opening Remarks

Yaman Arkun, Provost, Koç University


Session W1, Session Chair: TBA

- Iterative Relaxation Abstraction for Verification and Design of Hybrid Systems [PDF]

     Bruce H. Krogh

    Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA

-  An Introduction of Hybrid Systems with Memory [PDF]

    H. Oktem, A. Hayfavi, N. Caliskan, N. Gokgoz

    Institute of Applied Mathematics, METU, Ankara, Turkey


Coffee Break


Session W2, Session Chair: TBA

- Reformulations, relaxations and cutting planes for generalized disjunctive programming [PDF]

    Nicholas Sawaya, Ignacio E. Grossmann

   Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA


Coffee Break


Session W3, Session Chair: TBA

- Multi-Dimensional Particle Swarm Optimization [PDF]

   Serkan Kiranyaz1, Turker Ince2, Alper Yildirim3, Moncef Gabbouj1

   1Tampere University of Technology, Tampere, Finland, 2Izmir Economy University, Izmir, Turkey, 3TUBITAK, Ankara, Turkey

- Modeling Hybrid Systems using Constraint Logic Programming [PDF]

   Ammar Mohammed

   Computer Science Department, Koblenz-Landau University, Universitaetsstrasse 1, 56070 Koblenz, Germany

- Reformulations and Numerical Methods for Control Problems with Integer-Valued Functions [PDF]

   Sebastian Sager, Christian Kirches, Hans Georg Bock

   Interdisciplinary Center for Scientific Computing (IWR), University of Heidelberg, Germany

May 15, 2008, Thursday



Session T1, Session Chair: TBA

- Time-stepping methods for large scale differential variational inequalities (DVI) in nonsmooth dynamics [PDF]

   Mihai Anitescu

   Mathematics and Computer Science Division, Argonne National Laboratory, USA

- Time-optimal Control of Automobile Test Drives with Gear Shifts [PDF]

   Christian Kirches, Sebastian Sager, Hans Georg Bock

   Interdisciplinary Center for Scientific Computing (IWR), University of Heidelberg, Germany


Coffee Break


Session T2, Session Chair: TBA

- Analysis and numerical solution of hybrid differential algebraic systems [PDF]

    Volker Mehrmann

    Institut für Mathematik, Technische Universität Berlin, Germany

- A Switching Control Approach to Stabilization of Parameter Varying Time Delay Systems [PDF]

   Peng Yan1, Hitay Ozbay2

   1Enterprise Design Engineering, Seagate Technology, 1280 Disc Drive, Shakopee, MN 55379, USA

   2Department of Electrical and Electronics Engineering, Bilkent University, Ankara, 06800, Turkey


Lunch Break


Session T3, Session Chair: TBA

- MPEC Strategies for Optimization of Chemical Process Dynamics [PDF]

   B. T. Baumrucker, Lorenz T. Biegler

   Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA, USA

- Dynamic Modeling and Optimization of Circadian Clock [PDF]

   Ugur Kaplan, I.Halil Kavakli, Metin Turkay

   College of Engineering, Koc University, Istanbul, Turkey

- Simulation of Mating Behavior in Flies [PDF]

   Mehmet Kayım, Aykut Kence

   Department of Biology, Middle East Technical University, Ankara, Turkey

15:30-15:45 Coffee Break
15:45-17:15 Session T4, Session Chair: TBA

- Semismooth Hybrid Automata [PDF]

   Paul I. Barton, Mehmet Yunt

   Chemical Engineering Department, Massachusetts Institute of Technology, Cambridge, MA, USA

-  A Model of Angiogenesis by Hybrid Systems with Delay on the Piecewise Constant part [PDF]

   Bulent Karasozen, Hakan Oktem, Mustafa Kahraman

   Department of Mathematics and Institute of Applied Mathematics, METU, Ankara, Turkey

19:00-23:00 Workshop Dinner on Bosphorus Cruise Boat
May 16, 2008, Friday  


Session F1, Session Chair: TBA

- Constrained and Distributed Hybrid Control [PDF]

   Francesco Borrelli

   Department of Mechanical Engineering, University of California at Berkeley, USA

-  Fuzzy L1 Norm Strategy for Model Based Control [PDF]

   Zehra ZEYBEK

   Ankara University, Department of Chemical Engineering, 06100 Tandoğan, Ankara, Turkey


Coffee Break


Session F2, Session Chair: TBA

- Modeling and Optimal Control for Freeway Onramp Metering Based on the Piecewise Affine System

   Liguo Zhang

   School of Electronic and Control Engineering, Beijing University of Technology, Beijing, China

- A Mode-Based Hybrid Controller Design for Agile Maneuvering Unmanned F-16 Aircraft [PDF]

   Nazim Kemal Ure, Gokhan Inalhan

   Faculty of Aeronautics and Astronautics, Istanbul Technical University, Istanbul, Turkey


Lunch Break


Session F3, Session Chair: TBA

- Differential Variational Inequalities and friends [PDF]

   David Stewart

   Department of Mathematics, University of Iowa, IA, USA

- Use of Hybrid System Modeling Technique for Robot-Assisted Rehabilitation Systems [PPT][Video]

   Duygun Erol

   Department of Electrical and Electronics Engineering, Yeditepe University, Kayisdagi, Istanbul, Turkey

14:30-15:00 Closing Remarks