Search - AUTomatic control Access content directly

Filter your results

18 Results
Deposit type : Notice

Model Predictive Control for Hybrid Systems under a State Partition based MLD Approach (SPMLD)

J. Thomas , Didier Dumur , Jean Buisson , Hervé Guéguen
ICINCO, Aug 2004, Setubal, Portugal
Conference papers hal-00909000v1

Genetic Algorithm Based Model Predictive Control for Hybrid Sytems Under a Modified MLD Form

Sorin Olaru , J. Thomas , Didier Dumur , Jean Buisson
International Journal of Hybrid Systems, 2004, 4 (1&2)
Journal articles hal-00783573v1

Extending passivity based control to DAE systems with boolean inputs

Cécile Morvan , Hervé Cormerais , Pierre-Yves Richard , Jean Buisson
NOLCOS 2004, Sep 2004, Stuttgart, Germany
Conference papers hal-00908077v1

Sur le calcul de l'espace atteignable des systèmes dynamiques hybrides

Hervé Guéguen , J. Zaytoon
CIFA 2004, Nov 2004, Douz, Tunisie
Conference papers hal-00907966v1

On the formal vérification of hybrid systems

Hervé Guéguen , J. Zaytoon
Control Engineering Practice, 2004, 12 (10), pp.1253-1267
Journal articles hal-00783389v1

Sliding mode control of switching systems with boolean inputs

Hervé Cormerais , Pierre-Yves Richard , Cécile Morvan , Jean Buisson
NOLCOS 2004, Sep 2004, Stuttgart, Germany
Conference papers hal-00907918v1

Formal approach to Compute Hybrid Automata Models for Linear Physical Systems with Switches

Jean Buisson , Hervé Cormerais , Marius Zainea , Hervé Guéguen , E. Godoy et al.
IEEE International Symposium on CACSD, Sep 2004, Taipei, China. pp.47-52
Conference papers hal-00846952v1

A Novel Algorithm for Ship Detection in Envisar SAR Imagery Based on the Wavelet Transform

Jean Thomas , Didier Dumur , Jean Buisson
ENVISAT Symposium (ESA), Sep 2004, Salzburg, Austria
Conference papers hal-00908375v1

Analysis of hybrid systems: state of the art

J. Zaytoon , Hervé Guéguen
INCOM04; 11th IFAC Symposium on Information Control Problems in Manufacturing, Apr 2004, Salvador Bahia, Brazil
Conference papers hal-00909020v1

Abstractions événementielles et approximations pour la vérification des systèmes dynamiques hybrides

Hervé Guéguen , J. Zaytoon
CIFA 2004, Nov 2004, Douz, Tunisie
Conference papers hal-00907959v1

Predictive Control of Hybrid Systems under a Multi-MLD Formalism with State Space Polyhedral Partition

Jean Thomas , Didier Dumur , Jean Buisson
ACC'04, Jun 2004, Boston, United States
Conference papers hal-00908376v1

Algorithmes Génétiques pour la commande prédictive de systèmes hybrides sous forme MLD

Sorin Olaru , Jean Thomas , Didier Dumur , Jean Buisson
CIFA 2004, Nov 2004, Douz, Tunisie
Conference papers hal-00908085v1

Les Systèmes Dynamiques Hybrides : un cadre formel privilégié pour la pluridisciplinarité

Hervé Guéguen , J. Zaytoon
Journées Automatique et Informatique Club EEA, Mar 2004, Cachan, France
Conference papers hal-00906073v1

Continuous versus Discrete Approaches in Sliding Mode Control of Switching Systems with Boolean Inputs modeled in bond graph

Pierre-Yves Richard , Cécile Morvan , Hervé Cormerais , Jean Buisson
IMAACA 2004, Oct 2004, Gênes, Italy
Conference papers hal-00908338v1

Using timed automata for the verification of IEC 61499 applications

Marius-Petru Stanica , Hervé Guéguen
WODES04 ; IFAC Workshop on Discrete Event Systems (7th edition), Sep 2004, Reims, France
Conference papers hal-00908346v1

Notion of commutation cells for the modelling of hybrid systems using ideal switc representation

Hervé Cormerais , Pierre-Yves Richard , Cécile Morvan , Jean Buisson
IMAACA 2004, Oct 2004, Gênes, Italy
Conference papers hal-00907922v1

Vérification des Systèmes Hybrides, état de l'art

Hervé Guéguen , J. Zaytoon
Journal Européen des Systèmes Automatisés (JESA), 2004, 38 (1-2), pp.145-175
Journal articles hal-00783388v1

Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499

Marius-Petru Stanica , Hervé Guéguen
e-STA Sciences et Technologies de l’Automatique, 2004, 1 (3)
Journal articles hal-00836777v1