default search action
1st ADHS 2003: Saint-Malo, France
- Sebastian Engell, Hervé Guéguen, Janan Zaytoon:
IFAC Conference on Analysis and Design of Hybrid Systems, 2003, St Malo, Brittany, France, June 16-18, 2003. IFAC Proceedings Volumes 36(6), Elsevier 2003
Plenary Papers
- Manuel Silva, Laura Recalde:
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models. 1-12 - Maria Domenica Di Benedetto, John Lygeros, The DEWS Team:
A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS. 13-19
Modelling and Identification of Hybrid Systems
- Silvio Simani, Sergio Beghelli, Cesare Fantuzzi, Riccardo Rovatti:
Parameter Identification of Piecewise Affine Dynamic Models from Input-Output Data. 21-26 - Eberhard Münz, Thomas E. Hodrus, Volker Krebs:
Top-Down Identification of Hybrid Characteristic Maps. 27-32 - Giancarlo Ferrari-Trecate
, Marco Muselli:
Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression. 33-38 - Aleksandar Lj. Juloski, W. P. M. H. Heemels
Identification of an Experimental Hybrid System1. 39-44 - Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto:
Stochastic Hybrid Models: An Overview. 45-50
Predictive Control of Hybrid Systems
- Jean Thomas, Jean Buisson, Didier Dumur, Hervé Guéguen
Predictive Control of Hybrid Systems Under a Multi-MLD Formalism. 51-56 - Miguel Peña, Eduardo F. Camacho, Sandra Piñón:
Hybrid Systems for Solving Model Predictive Control of Piecewise Affine System. 57-62
Modelling
- Olivier Altet, Cédric Nouillant, Xavier Moreau, Alain Oustaloup:
Modelling of Hydractive CRONE Suspension as a Hybrid System. 63-67 - Jean-Philippe Cassar, Jean Sébastien Guez
A Hybrid Approach for the Monitoring of Physiological State Changes. 69-74
Hybrid Petri Nets and Control of Complex Systems
- Melha Bitam, Hassane Alla:
Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri Nets. 75-80 - Angela Di Febbraro, Nicola Sacco:
Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks. 81-86 - Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. 87-92
Behaviour and Control Synthesis
- Jacob Barhen, Vladimir A. Protopopescu, Sarit Barhen, Jack C. Wells:
Asynchronous Computing and Emergence of Computational Chaos. 93-98 - Shun-ichi Azuma, Jun-ichi Imura
Controllability of Sampled-Data Piecewise Affine Systems. 99-104 - A. Agung Julius, Stefan Strubbe, A. J. van der Schaft:
Control of Hybrid Behavioral Automata by Interconnection. 105-110 - Stanley I. Kamau
Controller Synthesis for Linear Switched Systems. 111-116 - Henrik Axelsson, Abubakr Muhammad, Magnus Egerstedt:
Autonomous Formation Switching for Multiple, Mobile Robots. 117-122
Optimal Control of Hybrid Systems
- Cha Kun Lee, Paul I. Barton:
Determining the Optimal Mode Sequence1. 123-128 - Jochen Till, Sebastian Engell, Sebastian Panek, Olaf Stursberg
Empirical Complexity Analysis of a MILP-Approach for Optimization of Hybrid Systems. 129-134 - Sorin Olaru, Ioan Dumitrache, Didier Dumur:
Modified MLD Form for Discrete Optimization of Hybrid Systems. 135-140 - Hadyan Fibrianto, Denis Dochain:
Time Optimal Control of a Biological Wastewater Treatment Process by Hybrid Approach. 141-146 - Ascensión Zafra-Cabeza, Miguel A. Ridao, Eduardo F. Camacho:
Hybrid Algorithm for Scheduling and Risk Assessment of Projects*. 147-152
Modelling, Analysis and Applications
- Olivier Altet, Cédric Nouillant, Jean Buisson, Xavier Moreau, Alain Oustaloup:
Stability of Hydractive CRONE Suspension. 153-157 - Daniel Goeleven, Bernard Brogliato:
On the Stability of Linear Evolution Variational Inequalities. 159-161 - Thierry Bastogne:
A Multiport Object-Oriented Diagram for Batch Process Modelling. 163-168 - Jan Melin, Anders Hultgren:
A Limit Cycle of a Resonant Converter. 169-174 - Eric Duviella, Pascale Chiron, Philippe Charbonnaud:
Hybrid Control Accommodation by Resource Allocation and Setpoint Assignment1. 175-180 - Antoine Girard:
Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems. 181-186 - René K. Boel, George Jiroveanu:
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions. 187-192 - Dimitri Lefebvre, Edouard Leclercq, Fabrice Druaux, Philippe Thomas:
Source and Sink Transitions Controllers for Continuous Petri Nets: A Gradient-Based Approach. 193-198 - Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda:
A Hybrid Language for Modeling, Simulation and Verification. 199-204 - Ansgar Münnemann, Ulrich Epple:
ACPLT/HK - Infrastructure Model for Hybrid Components of Process Automation. 205-210 - Cécile Morvan, Hervé Cormerais, Jean Buisson, Pierre-Yves Richard
Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes. 211-216 - Emilio García, Francisco Morant, Vicente Mascarós Mateo, Eduardo Quiles
Petri Net Place Associated to a Continuous or Discretized Control Algorithm. 217-222 - Emmanuel Tanyi, Marcellin Nkenlifack:
An Object-Oriented Simulation Platform for Hybrid Control Systems. 223-228
Hybrid Systems with Uncertainties
- Mihaela Cistelecan:
An Autonomous Hybrid System for Multi-Agent Formation Stabilization Through Sliding Manifolds. 229-234 - Maria Letizia Corradini, Leopoldo Jetto, Giuseppe Orlando
Supervised Stabilization of Uncertain Stochastic Plants. 235-240 - Emmanuel Benazera, Louise Travé-Massuyès:
The Consistency Approach to the On-Line Prediction of Hybrid System Configurations1. 241-246 - Abdelaziz Hamzaoui, Noureddine Manamanni, Najib Essounbouli
Switching Controllers' Synthesis: Combination of a Sliding Mode and H Infinity Control by a Fuzzy Supervisor. 247-252
Optimal Control of Switched and Hybrid Systems I
- Mauro Garavello, Benedetto Piccoli:
Hybrid Necessary Principles: An Application to a Car with Gears. 253-258 - Bruno Picasso, Stefania Pancanti, Alberto Bemporad, Antonio Bicchi:
Receding-Horizon Control of LTI Systems with Quantized Inputs1. 259-264 - John Lygeros:
Infinite Horizon Minmax Optimal Control: A Viability Approach. 265-270 - Jeongseung Moon, Yorai Wardi:
Optimal Control of Completion Times in Single-Stage Max-Plus Systems1. 271-276 - Jocelyne Perret, Gilles Hétreux, Jean-Marc Le Lann:
Object Hybrid Formalism for Modeling and Simulation of Chemical Processes. 277-282 - Miguel Magos, Claire Valentin
Physical Switching Systems: From a Network Graph to a Hybrid Port Hamiltonian Formulation. 283-288
Analysis and Verification
- Olaf Stursberg
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. 289-294 - Gadiel Auerbach, Orna Kupferman:
Formal Analysis of Scientific-Computation Methods. 295-300 - Philipp Orth, Dirk Abel:
Hybrid System Analysis Using a Parameterised Evolution Graph. 301-306
Markov Processes
- Stefan Strubbe, A. Agung Julius, A. J. van der Schaft:
Communicating Piecewise Deterministic Markov Processes. 307-312 - Mariken H. C. Everdij, Henk A. P. Blom:
Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models. 313-318 - Henk A. P. Blom:
Stochastic Hybrid Processes with Hybrid Jumps. 319-324
Stability Analysis
- Pierre-Alexandre Bliman, Giancarlo Ferrari-Trecate
Stability Analysis of Discrete-Time Switched Systems Through Lyapunov Functions with Nonminimal State. 325-329 - Jamal Daafouz, Pierre Riedinger
Stabilizing Switched Control Design and Pole Placement. 331-335 - Rom Langerak, Jan Willem Polderman, Tomas Krilavicius
Stability Analysis for Hybrid Automata Using Conservative Gains. 337-342
Hierarchial Approaches and Hybrid Hierarchial Approaches and Hybrid Hierarchial Approaches and Hybrid Systems Designs
- Stéphane Blouin, Martin Guay, Karen Rudie
Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems. 343-348 - Thomas Moor, Jörg Raisch, Jennifer M. Davoren:
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1. 349-354 - Anastasios Trontis, Michael P. Spathopoulos:
Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems. 355-360 - Georg Frey
Hierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets. 361-366
Optimal Control of Switched and Hybrid Systems II
- Alberto Bemporad, Daniele Corona, Alessandro Giua, Carla Seatzu:
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata. 367-372 - Christos G. Cassandras, Reetabrata Mookherjee:
Properties of Receding Horizon Controllers for Some Hybrid Systems with Event Uncertainties. 373-378 - Sorin C. Bengea, Raymond A. DeCarlo:
Conditions for the Existence of a Solution to a Two-Switched/Hybrid Optimal Control Problem. 379-384 - Bo Lincoln, Anders Rantzer:
Relaxed Optimal Control of Piecewise Linear Systems. 385-390
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: