|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|