Time

Description

May 14, 2008, Wednesday

11:00-13:00

Workshop Registration

13:00-13:10

Welcome and Opening Remarks

Yaman Arkun, Provost, Koç University

13:10-14:30

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

14:30-14:45

Coffee Break

14:45-15:45

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

15:45-16:00

Coffee Break

16:00-17:30

Session W3, Session Chair: TBA

- Multi-Dimensional Particle Swarm Optimization [PDF]

   Serkan Kiranyaz¹, Turker Ince², Alper Yildirim³, Moncef Gabbouj¹

   ¹Tampere University of Technology, Tampere, Finland, ²Izmir Economy University, Izmir, Turkey, ³TUBITAK, 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

09:30-11:00

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

11:00-11:15

Coffee Break

11:15-12:45

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 Yan¹, Hitay Ozbay²

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

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

Lunch Break

13:30-15:30

- 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

- 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

09:30-11:00

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

11:00-11:15

Coffee Break

11:15-12:15

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

13:00-14:30

- 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