| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
ACPLT/HK - Infrastructure Model for Hybrid Components of Process Automation
|
Münnemann, Ansgar
|
|
2003
|
36 |
6 |
p. 205-210
6 p.
|
artikel
|
| 2 |
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1
|
Moor, Thomas
|
|
2003
|
36 |
6 |
p. 349-354
6 p.
|
artikel
|
| 3 |
A Hybrid Approach for the Monitoring of Physiological State Changes
|
Cassar, J.Ph.
|
|
2003
|
36 |
6 |
p. 69-74
6 p.
|
artikel
|
| 4 |
A Hybrid Language for Modeling, Simulation and Verification
|
Schiffelers, R.R.H.
|
|
2003
|
36 |
6 |
p. 199-204
6 p.
|
artikel
|
| 5 |
A Limit Cycle of a Resonant Converter
|
Melin, J.
|
|
2003
|
36 |
6 |
p. 169-174
6 p.
|
artikel
|
| 6 |
A Multiport Object-Oriented Diagram for Batch Process Modelling
|
Bastogne, T.
|
|
2003
|
36 |
6 |
p. 163-168
6 p.
|
artikel
|
| 7 |
An Autonomous Hybrid System for Multi-Agent Formation Stabilization Through Sliding Manifolds
|
Cistelecan, Mihaela R.
|
|
2003
|
36 |
6 |
p. 229-234
6 p.
|
artikel
|
| 8 |
A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS
|
Di Benedetto, M.D.
|
|
2003
|
36 |
6 |
p. 13-19
7 p.
|
artikel
|
| 9 |
An Object-Oriented Simulation Platform for Hybrid Control Systems
|
Tanyi, Emmanuel
|
|
2003
|
36 |
6 |
p. 223-228
6 p.
|
artikel
|
| 10 |
Asynchronous Computing and Emergence of Computational Chaos
|
Barhen, Jacob
|
|
2003
|
36 |
6 |
p. 93-98
6 p.
|
artikel
|
| 11 |
Author Index
|
|
|
2003
|
36 |
6 |
p. 391-392
2 p.
|
artikel
|
| 12 |
Autonomous Formation Switching for Multiple, Mobile Robots
|
Axelsson, Henrik
|
|
2003
|
36 |
6 |
p. 117-122
6 p.
|
artikel
|
| 13 |
Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes
|
Morvan, Cécile
|
|
2003
|
36 |
6 |
p. 211-216
6 p.
|
artikel
|
| 14 |
Communicating Piecewise Deterministic Markov Processes
|
Strubbe, S.N.
|
|
2003
|
36 |
6 |
p. 307-312
6 p.
|
artikel
|
| 15 |
Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems
|
Girard, Antoine
|
|
2003
|
36 |
6 |
p. 181-186
6 p.
|
artikel
|
| 16 |
Conditions for the Existence of a Solution to a Two-Switched/Hybrid Optimal Control Problem
|
Bengea, Sorin C.
|
|
2003
|
36 |
6 |
p. 379-384
6 p.
|
artikel
|
| 17 |
Controllability of Sampled-Data Piecewise Affine Systems
|
Azuma, Shun-ichi
|
|
2003
|
36 |
6 |
p. 99-104
6 p.
|
artikel
|
| 18 |
Controller Synthesis for Linear Switched Systems
|
Kamau, Stanley I.
|
|
2003
|
36 |
6 |
p. 111-116
6 p.
|
artikel
|
| 19 |
Control of Hybrid Behavioral Automata by Interconnection
|
Julius, A.A.
|
|
2003
|
36 |
6 |
p. 105-110
6 p.
|
artikel
|
| 20 |
Determining the Optimal Mode Sequence 1
|
Lee, Cha Kun
|
|
2003
|
36 |
6 |
p. 123-128
6 p.
|
artikel
|
| 21 |
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems
|
Villani, E.
|
|
2003
|
36 |
6 |
p. 87-92
6 p.
|
artikel
|
| 22 |
Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems
|
Blouin, Stéphane
|
|
2003
|
36 |
6 |
p. 343-348
6 p.
|
artikel
|
| 23 |
Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems
|
Till, Jochen
|
|
2003
|
36 |
6 |
p. 129-134
6 p.
|
artikel
|
| 24 |
Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks
|
Di Febbraro, Angela
|
|
2003
|
36 |
6 |
p. 81-86
6 p.
|
artikel
|
| 25 |
Formal Analysis of Scientific-Computation Methods
|
Auerbach, Gadiel
|
|
2003
|
36 |
6 |
p. 295-300
6 p.
|
artikel
|
| 26 |
Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems
|
Trontis, Anastasios
|
|
2003
|
36 |
6 |
p. 355-360
6 p.
|
artikel
|
| 27 |
Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets
|
Frey, Georg
|
|
2003
|
36 |
6 |
p. 361-366
6 p.
|
artikel
|
| 28 |
Hybrid Algorithm for Scheduling and Risk Assessment of Projects *
|
Zafra-Cabeza, Ascensión
|
|
2003
|
36 |
6 |
p. 147-152
6 p.
|
artikel
|
| 29 |
Hybrid Control Accommodation by Resource Allocation and Setpoint Assignment 1
|
Duviella, Eric
|
|
2003
|
36 |
6 |
p. 175-180
6 p.
|
artikel
|
| 30 |
Hybrid Necessary Principles: An Application to a Car with Gears
|
Garavello, Mauro
|
|
2003
|
36 |
6 |
p. 253-258
6 p.
|
artikel
|
| 31 |
Hybrid System Analysis Using a Parameterised Evolution Graph
|
Orth, Philipp
|
|
2003
|
36 |
6 |
p. 301-306
6 p.
|
artikel
|
| 32 |
Hybrid Systems for Solving Model Predictive Control of Piecewise Affine System
|
Peña, Miguel
|
|
2003
|
36 |
6 |
p. 57-62
6 p.
|
artikel
|
| 33 |
Identification of an Experimental Hybrid System 1
|
Juloski, A.Lj.
|
|
2003
|
36 |
6 |
p. 39-44
6 p.
|
artikel
|
| 34 |
Infinite Horizon Minmax Optimal Control: A Viability Approach
|
Lygeros, John
|
|
2003
|
36 |
6 |
p. 265-270
6 p.
|
artikel
|
| 35 |
Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri Nets
|
Bitam, Melha
|
|
2003
|
36 |
6 |
p. 75-80
6 p.
|
artikel
|
| 36 |
Modelling of Hydractive CRONE Suspension as a Hybrid System
|
Altet, Olivier
|
|
2003
|
36 |
6 |
p. 63-67
5 p.
|
artikel
|
| 37 |
Modified MLD Form for Discrete Optimization of Hybrid Systems
|
Olaru, S.
|
|
2003
|
36 |
6 |
p. 135-140
6 p.
|
artikel
|
| 38 |
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions
|
Boel, René K.
|
|
2003
|
36 |
6 |
p. 187-192
6 p.
|
artikel
|
| 39 |
Object Hybrid Formalism for Modeling and Simulation of Chemical Processes
|
Perret, J.
|
|
2003
|
36 |
6 |
p. 277-282
6 p.
|
artikel
|
| 40 |
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models
|
Silva, Manuel
|
|
2003
|
36 |
6 |
p. 1-12
12 p.
|
artikel
|
| 41 |
On the Stability of Linear Evolution Variational Inequalities
|
Goeleven, Daniel
|
|
2003
|
36 |
6 |
p. 159-161
3 p.
|
artikel
|
| 42 |
Optimal Control of Completion Times in Single-Stage Max-Plus Systems 1
|
Moon, J.
|
|
2003
|
36 |
6 |
p. 271-276
6 p.
|
artikel
|
| 43 |
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata
|
Bemporad, Alberto
|
|
2003
|
36 |
6 |
p. 367-372
6 p.
|
artikel
|
| 44 |
Parameter Identification of Piecewise Affine Dynamic Models from Input–Output Data
|
Simani, Silvio
|
|
2003
|
36 |
6 |
p. 21-26
6 p.
|
artikel
|
| 45 |
Petri Net Place Associated to a Continuous or Discretized Control Algorithm
|
García, E.
|
|
2003
|
36 |
6 |
p. 217-222
6 p.
|
artikel
|
| 46 |
Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models
|
Everdij, Mariken H.C.
|
|
2003
|
36 |
6 |
p. 313-318
6 p.
|
artikel
|
| 47 |
Physical Switching Systems: From a Network Graph to a Hybrid Port Hamiltonian Formulation
|
Magos, M.
|
|
2003
|
36 |
6 |
p. 283-288
6 p.
|
artikel
|
| 48 |
Predictive Control of Hybrid Systems Under a Multi-MLD Formalism
|
Thomas, J.
|
|
2003
|
36 |
6 |
p. 51-56
6 p.
|
artikel
|
| 49 |
Preface
|
Engell, S.
|
|
2003
|
36 |
6 |
p. v-
1 p.
|
artikel
|
| 50 |
Properties of Receding Horizon Controllers for Some Hybrid Systems with Event Uncertainties
|
Cassandras, Christos G.
|
|
2003
|
36 |
6 |
p. 373-378
6 p.
|
artikel
|
| 51 |
Receding-Horizon Control of LTI Systems with Quantized Inputs 1
|
Picasso, Bruno
|
|
2003
|
36 |
6 |
p. 259-264
6 p.
|
artikel
|
| 52 |
Relaxed Optimal Control of Piecewise Linear Systems
|
Lincoln, Bo
|
|
2003
|
36 |
6 |
p. 385-390
6 p.
|
artikel
|
| 53 |
Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression
|
Ferrari-Trecate, Giancarlo
|
|
2003
|
36 |
6 |
p. 33-38
6 p.
|
artikel
|
| 54 |
Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach
|
Lefebvre, Dimitri
|
|
2003
|
36 |
6 |
p. 193-198
6 p.
|
artikel
|
| 55 |
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods
|
Stursberg, Olaf
|
|
2003
|
36 |
6 |
p. 289-294
6 p.
|
artikel
|
| 56 |
Stability Analysis for Hybrid Automata Using Conservative Gains
|
Langerak, Rom
|
|
2003
|
36 |
6 |
p. 337-342
6 p.
|
artikel
|
| 57 |
Stability Analysis of Discrete-Time Switched Systems Through Lyapunov Functions with Nonminimal State
|
Bliman, Pierre-Alexandre
|
|
2003
|
36 |
6 |
p. 325-329
5 p.
|
artikel
|
| 58 |
Stability of Hydractive CRONE Suspension
|
Altet, Olivier
|
|
2003
|
36 |
6 |
p. 153-157
5 p.
|
artikel
|
| 59 |
Stabilizing Switched Control Design and Pole Placement
|
Daafouz, J.
|
|
2003
|
36 |
6 |
p. 331-335
5 p.
|
artikel
|
| 60 |
Stochastic Hybrid Models: An Overview
|
Pola, G.
|
|
2003
|
36 |
6 |
p. 45-50
6 p.
|
artikel
|
| 61 |
Stochastic Hybrid Processes with Hybrid Jumps
|
Blom, Henk A.P.
|
|
2003
|
36 |
6 |
p. 319-324
6 p.
|
artikel
|
| 62 |
Supervised Stabilization of Uncertain Stochastic Plants
|
Corradini, M.L.
|
|
2003
|
36 |
6 |
p. 235-240
6 p.
|
artikel
|
| 63 |
Switching Controllers' Synthesis: Combination of a Sliding Mode and H Infinity Control by a Fuzzy Supervisor
|
Hamzaoui, A.
|
|
2003
|
36 |
6 |
p. 247-252
6 p.
|
artikel
|
| 64 |
The Consistency Approach to the On-Line Prediction of Hybrid System Configurations 1
|
Benazera, Emmanuel
|
|
2003
|
36 |
6 |
p. 241-246
6 p.
|
artikel
|
| 65 |
Time Optimal Control of a Biological Wastewater Treatment Process by Hybrid Approach
|
Fibrianto, Hadyan
|
|
2003
|
36 |
6 |
p. 141-146
6 p.
|
artikel
|
| 66 |
Top–Down Identification of Hybrid Characteristic Maps
|
Münz, Eberhard
|
|
2003
|
36 |
6 |
p. 27-32
6 p.
|
artikel
|
Tijdschrift beschrijving