Volume 36; Issue 6

Main
IFAC Proceedings Volumes
Volume 36; Issue 6

IFAC Proceedings Volumes

Volume 36; Issue 6

1

Parameter Identification of Piecewise Affine Dynamic Models from Input–Output Data

Simani, Silvio, Beghelli, Sergio, Fantuzzi, Cesare, Rovatti, Riccardo

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 718 KB

english, 2003

2

Preface

Engell, S., Guéguen, H., Zaytoon, J.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 116 KB

english, 2003

3

A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS

Di Benedetto, M.D., Lygeros, J.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 823 KB

english, 2003

4

Top–Down Identification of Hybrid Characteristic Maps

Münz, Eberhard, Hodrus, Thomas, Krebs, Volker

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 723 KB

english, 2003

5

Identification of an Experimental Hybrid System 1

Juloski, A.Lj., Heemels, W.P.M.H., Ferrari-Trecate, G.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 727 KB

english, 2003

6

Stochastic Hybrid Models: An Overview

Pola, G., Bujorianu, M.L., Lygeros, J., Di Benedetto, M.D.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 757 KB

english, 2003

7

Predictive Control of Hybrid Systems Under a Multi-MLD Formalism

Thomas, J., Buisson, J., Dumur, D., Guéguen, H.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 701 KB

english, 2003

8

Modelling of Hydractive CRONE Suspension as a Hybrid System

Altet, Olivier, Nouillant, Cédric, Moreau, Xavier, Oustaloup, Alain

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 369 KB

english, 2003

9

Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems

Villani, E., Pascal, J.C., Miyagi, P.E., Valette, R.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 784 KB

english, 2003

10

Control of Hybrid Behavioral Automata by Interconnection

Julius, A.A., Strubbe, S.N., van der Schaft, A.J.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 732 KB

english, 2003

11

Autonomous Formation Switching for Multiple, Mobile Robots

Axelsson, Henrik, Muhammad, Abubakr, Egerstedt, Magnus

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 675 KB

english, 2003

12

Determining the Optimal Mode Sequence 1

Lee, Cha Kun, Barton, Paul I.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 716 KB

english, 2003

13

Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems

Till, Jochen, Engell, Sebastian, Panek, Sebastian, Stursberg, Olaf

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 727 KB

english, 2003

14

Modified MLD Form for Discrete Optimization of Hybrid Systems

Olaru, S., Dumitrache, I., Dumur, D.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 723 KB

english, 2003

15

Time Optimal Control of a Biological Wastewater Treatment Process by Hybrid Approach

Fibrianto, Hadyan, Dochain, Denis

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 649 KB

english, 2003

16

On the Stability of Linear Evolution Variational Inequalities

Goeleven, Daniel, Brogliato, Bernard

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 330 KB

english, 2003

17

Hybrid Control Accommodation by Resource Allocation and Setpoint Assignment 1

Duviella, Eric, Chiron, Pascale, Charbonnaud, Philippe

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 710 KB

english, 2003

18

Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems

Girard, Antoine

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 577 KB

english, 2003

19

Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach

Lefebvre, Dimitri, Leclercq, Edouard, Druaux, Fabrice, Thomas, Philippe

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 671 KB

english, 2003

20

An Object-Oriented Simulation Platform for Hybrid Control Systems

Tanyi, Emmanuel, Nkenlifack, Marcellin

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 663 KB

english, 2003

21

Switching Controllers' Synthesis: Combination of a Sliding Mode and H Infinity Control by a Fuzzy Supervisor

Hamzaoui, A., Manamanni, N., Essounbouli, N., Zaytoon, J.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 614 KB

english, 2003

22

Hybrid Necessary Principles: An Application to a Car with Gears

Garavello, Mauro, Piccoli, Benedetto

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 674 KB

english, 2003

23

Receding-Horizon Control of LTI Systems with Quantized Inputs 1

Picasso, Bruno, Pancanti, Stefania, Bemporad, Alberto, Bicchi, Antonio

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 766 KB

english, 2003

24

Infinite Horizon Minmax Optimal Control: A Viability Approach

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 629 KB

english, 2003

25

Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods

Stursberg, Olaf, Fehnker, Ansgar, Han, Zhi, Krogh, Bruce H.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 769 KB

english, 2003

26

Stability Analysis for Hybrid Automata Using Conservative Gains

Langerak, Rom, Polderman, Jan Willem, Krilavičius, Tomas

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 677 KB

english, 2003

27

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1

Moor, Thomas, Raisch, Jörg, Davoren, J.M.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 749 KB

english, 2003

28

Author Index

Journal:

IFAC Proceedings Volumes

Year:

2003

File:

PDF, 104 KB

2003

29

Hybrid Systems for Solving Model Predictive Control of Piecewise Affine System

Peña, Miguel, Camacho, E.F., Piñón, Sandra

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 670 KB

english, 2003

30

Physical Switching Systems: From a Network Graph to a Hybrid Port Hamiltonian Formulation

Magos, M., Valentin, C., Maschke, B.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 723 KB

english, 2003

31

Hybrid System Analysis Using a Parameterised Evolution Graph

Orth, Philipp, Abel, Dirk

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 711 KB

english, 2003

32

Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models

Everdij, Mariken H.C., Blom, Henk A.P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 736 KB

english, 2003

33

Stabilizing Switched Control Design and Pole Placement

Daafouz, J., Riedinger, P., Iung, C.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 487 KB

english, 2003

34

On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models

Silva, Manuel, Recalde, Laura

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 1.42 MB

english, 2003

35

Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression

Ferrari-Trecate, Giancarlo, Muselli, Marco

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 739 KB

english, 2003

36

Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri Nets

Bitam, Melha, Alla, Hassane

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 674 KB

english, 2003

37

Asynchronous Computing and Emergence of Computational Chaos

Barhen, Jacob, Protopopescu, Vladimir, Barhen, Sarit, Wells, Jack

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 705 KB

english, 2003

38

Controllability of Sampled-Data Piecewise Affine Systems

Azuma, Shun-ichi, Imura, Jun-ichi

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 771 KB

english, 2003

39

Controller Synthesis for Linear Switched Systems

Kamau, Stanley I., Lunze, Jan

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 715 KB

english, 2003

40

Hybrid Algorithm for Scheduling and Risk Assessment of Projects *

Zafra-Cabeza, Ascensión, Ridao, Miguel A., Camacho, Eduardo F.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 632 KB

english, 2003

41

Stability of Hydractive CRONE Suspension

Altet, Olivier, Nouillant, Cédric, Buisson, Jean, Moreau, Xavier, Oustaloup, Alain

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 390 KB

english, 2003

42

Modular Reachability Analysis for Time Petri Nets with Guarded Transitions

Boel, René K., Jiroveanu, George

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 710 KB

english, 2003

43

ACPLT/HK - Infrastructure Model for Hybrid Components of Process Automation

Münnemann, Ansgar, Epple, Ulrich

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 734 KB

english, 2003

44

Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes

Morvan, Cécile, Cormerais, Hervé, Buisson, Jean, Richard, Pierre-Yves

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 626 KB

english, 2003

45

An Autonomous Hybrid System for Multi-Agent Formation Stabilization Through Sliding Manifolds

Cistelecan, Mihaela R.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 701 KB

english, 2003

46

Supervised Stabilization of Uncertain Stochastic Plants

Corradini, M.L., Jetto, L., Orlando, G.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 741 KB

english, 2003

47

Object Hybrid Formalism for Modeling and Simulation of Chemical Processes

Perret, J., Hétreux, G., Le Lann, J.M.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 741 KB

english, 2003

48

Formal Analysis of Scientific-Computation Methods

Auerbach, Gadiel, Kupferman, Orna

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 737 KB

english, 2003

49

Communicating Piecewise Deterministic Markov Processes

Strubbe, S.N., Julius, A.A., van der Schaft, A.J.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 745 KB

english, 2003

50

Stochastic Hybrid Processes with Hybrid Jumps

Blom, Henk A.P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 616 KB

english, 2003

51

Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems

Blouin, Stéphane, Guay, Martin, Rudie, Karen

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 729 KB

english, 2003

52

Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 771 KB

english, 2003

53

Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata

Bemporad, Alberto, Corona, Daniele, Giua, Alessandro, Seatzu, Carla

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 757 KB

english, 2003

54

Properties of Receding Horizon Controllers for Some Hybrid Systems with Event Uncertainties

Cassandras, Christos G., Mookherjee, Reetabrata

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 773 KB

english, 2003

55

Conditions for the Existence of a Solution to a Two-Switched/Hybrid Optimal Control Problem

Bengea, Sorin C., DeCarlo, Raymond A.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 726 KB

english, 2003

56

A Hybrid Approach for the Monitoring of Physiological State Changes

Cassar, J.Ph., Guez, J.S., Jacques, P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 731 KB

english, 2003

57

Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks

Di Febbraro, Angela, Sacco, Nicola

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 680 KB

english, 2003

58

A Multiport Object-Oriented Diagram for Batch Process Modelling

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 655 KB

english, 2003

59

A Limit Cycle of a Resonant Converter

Melin, J., Hultgren, A.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 589 KB

english, 2003

60

A Hybrid Language for Modeling, Simulation and Verification

Schiffelers, R.R.H., van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 704 KB

english, 2003

61

Petri Net Place Associated to a Continuous or Discretized Control Algorithm

García, E., Morant, F., Mascarós, V., Quiles, E., Correcher, A.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 584 KB

english, 2003

62

Stability Analysis of Discrete-Time Switched Systems Through Lyapunov Functions with Nonminimal State

Bliman, Pierre-Alexandre, Ferrari-Trecate, Giancarlo

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 535 KB

english, 2003

63

Relaxed Optimal Control of Piecewise Linear Systems

Lincoln, Bo, Rantzer, Anders

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 622 KB

english, 2003

64

The Consistency Approach to the On-Line Prediction of Hybrid System Configurations 1

Benazera, Emmanuel, Travé-Massuyès, Louise

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 713 KB

english, 2003

65

Optimal Control of Completion Times in Single-Stage Max-Plus Systems 1

Moon, J., Wardi, Y.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 661 KB

english, 2003

66

Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems

Trontis, Anastasios, Spathopoulos, Michael P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 710 KB

english, 2003