Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata
Vladimir Sinyakov
,
Antoine Girard
Journal articles
hal-02361404v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic observer-based controller for uncertain nonlinear systems
W. A. Apaza-Perez
,
Antoine Girard
,
Christophe Combastel
,
Ali Zolghadri
Journal articles
hal-02995397v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Scheduling of Embedded Controllers Under Timing Contracts
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017) , Apr 2017, Pittsburgh, PA, United States. pp.131 - 140,
⟨10.1145/3049797.3049816⟩
Conference papers
hal-01540841v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Self-Triggered Control for Sampled-data Systems using Reachability Analysis
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
Conference papers
hal-01540847v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multirate Symbolic Models for Incrementally Stable Switched Systems
Adnane Saoud
,
Antoine Girard
Conference papers
hal-01540854v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control law and state estimators design for multi-agent system with reduction of communications by event-triggered approach
Christophe Viel
Theses
tel-01617192v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Path generation based on convex lifting: optimization of the corridors
Marco Mirabilio
,
Sorin Olaru
,
Carlos Eduardo Trabuco Dórea
,
Alessio Iovine
,
Maria Domenica Di Benedetto
Conference papers
hal-03767403v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Quaternion-based attitude stabilization via discrete-time IDA-PBC
Mattia Mattioni
,
Alessio Moreschini
,
Salvatore Monaco
,
Dorothée Normand-Cyrot
Journal articles
hal-03659482v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Traffic flow control on cascaded roads by event-triggered output feedback
Nicolás Espitia
,
Jean Auriol
,
Huan Yu
,
Miroslav Krstic
Journal articles
hal-03609643v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach
Georges Aazan
,
Antoine Girard
,
Luca Greco
,
Paolo Mason
Journal articles
hal-03257026v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Laplacian Spectrum of Large Graphs Sampled from Graphons
Renato Vizuete
,
Federica Garin
,
Paolo Frasca
Journal articles
hal-03197046v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Some Remarks on the Implementation of a Derivative Action via a Delay-Difference Approximation
Diego Torres-García
,
César Fernando Méndez Barrios
,
Silviu-Iulian Niculescu
ECC 2023 - European Control Conference , European Control Association; University Politehnica Bucharest, Jun 2023, Bucarest, Romania
Conference papers
hal-04130834v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
$H_\infty$-stability analysis of delay systems of neutral type
Le Ha Vy Nguyen
,
Catherine Bonnet
,
André R. Fioravanti
SIAM Conference on Control and Its Applications (CT13) , Jul 2013, San Diego, United States
Conference papers
hal-00931571v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Python package with Matlab coupling implementing all necessary tools for the design, analysis, and discretization of algebraic differentiators
Amine Othmane
Software
hal-03342895v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
Pierre-Jean Meyer
,
Antoine Girard
,
Emmanuel Witrant
Journal articles
hal-01276261v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Digital path-following for a car-like robot
Mohamed Elobaid
,
Mattia Mattioni
,
Salvatore Monaco
,
Dorothée Normand-Cyrot
Control Conference Africa (CCA) , IFAC, Dec 2021, Magaliesburg, South Africa
Conference papers
hal-03352246v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Flatness of interconnected linear systems and applications to electrical systems
Florentina Nicolau
,
Alessio Iovine
1st IFAC Workshop on Control of Complex Systems , Nov 2022, Bologna, Italy
Conference papers
hal-03771607v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Timing contracts for multi-core embedded control systems
Mohammad Al Khatib
,
Antoine Girard
,
Thao Dang
Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel. Control subject to Computational and Communication Constraints , 475, Springer, pp.97-118, 2018, Lecture Notes in Control and Information Sciences
Book sections
hal-01912683v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Compositional Synthesis for Symbolic Control
Antoine Girard
21st International Conference on Hybrid Systems: Computation and Control , Apr 2018, Porto, Portugal. pp.136-136,
⟨10.1145/3178126.3196957⟩
Conference papers
hal-02053194v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Systematic comparison of numerical differentiators and an application to model-free control
Amine Othmane
,
Joachim Rudolph
,
Hugues Mounier
Journal articles
hal-03342802v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control Subject to Computational and Communication Constraints
Sophie Tarbouriech
,
Antoine Girard
,
Laurentiu Hetel
Books
hal-01818954v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Safety control, a quantitative approach
Alina Eqtami
,
Antoine Girard
Conference papers
hal-01818644v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamic boundary control synthesis of coupled PDE-ODEs for communication networks under fluid flow modeling
Nicolás Espitia
,
Antoine Girard
,
Nicolas Marchand
,
Christophe Prieur
Conference papers
hal-01620520v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Symbolic synthesis for cyber-physical systems
Matthias Rungger
,
Antoine Girard
,
Paulo Tabuada
Raj Rajkumar; Dionisio de Niz; Mark Klein. Cyber-Physical Systems , Addison Wesley, 2017, SEI Series in Software Engineering
Book sections
hal-01620555v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Special issue on Hybrid Systems: Computation and Control
Martin Fränzle
,
Antoine Girard
,
John Lygeros
,
Sriram Sankaranarayanan
Journal articles
hal-01620539v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Consensus-based formation control of networked nonholonomic vehicles with delayed communications
Mohamed Maghenem
,
Antonio Loria
,
Emmanuel Nuno
,
Elena Panteley
Journal articles
hal-02901345v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Practical Guidelines for $PD$ and $PI$ Delay-Based Controllers.
José-Enrique Hernández-Díez
,
César-Fernando Méndez-Barrios
,
Silviu-Iulian Niculescu
Conference papers
hal-03171091v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Data-Driven Abstraction of Monotone Systems
Anas Makdesi
,
Antoine Girard
,
Laurent Fribourg
Learning for Dynamics and Control Conference , Jun 2021, Zurich, Switzerland
Conference papers
hal-03216643v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On feedback passivation under sampling
Mattia Mattioni
,
Alessio Moreschini
,
Salvatore Monaco
,
Dorothée Normand-Cyrot
Conference papers
hal-03167760v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A simple but energy-efficient HVAC control synthesis for data centers
Michel Fliess
,
Cédric Join
,
Maria Bekcheva
,
Alireza Moradi
,
Hugues Mounier
3rd International Conference on Control, Automation and Diagnosis, ICCAD'19 , Jul 2019, Grenoble, France
Conference papers
hal-02125159v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More