219 results  save search


hal-01251403v1  Conference papers
Prabir BarooahAna BušicSean Meyn. Spectral Decomposition of Demand-Side Flexibility for Reliable Ancillary Services in a Smart Grid
48th Hawaii International Conference on System Sciences (HICSS), Jan 2015, Kauai, HI, United States. ⟨10.1109/HICSS.2015.325⟩
...
hal-01374899v2  Conference papers
Andrew SogokonKhalil GhorbalTaylor Johnson. Decoupling Abstractions of Non-linear Ordinary Differential Equations
FM 2016 - 21st International Symposium of Formal Methods, Nov 2016, Limassol, Cyprus. pp.628-644, ⟨10.1007/978-3-319-48989-6_38⟩
hal-02425626v1  Conference papers
Md Umar HashmiArpan MukhopadhyayAna BušicJocelyne EliasDiego Kiedanski. Optimal Storage Arbitrage under Net Metering using Linear Programming
(SmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2019, Beijing, China. pp.1-7, ⟨10.1109/SmartGridComm.2019.8909753⟩
...
hal-01723606v1  Book sections
Yliès FalconeLeonardo MarianiAntoine RolletSaikat Saha. Runtime Failure Prevention and Reaction
Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
...
hal-01006106v1  Conference papers
Gwenaël DelavalSoguy Mak-Karé GueyeEric RuttenNoel de Palma. Modular Coordination of Multiple Autonomic Managers
17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.291, ⟨10.1145/2602458.2602465⟩
...
hal-01703084v1  Conference papers
Gabriele PerozziDenis EfimovJean-Marc BiannicLaurent PlanckaertPatricia Coton. Wind estimation algorithm for quadrotors using detailed aerodynamic coefficients
ACC 2018 - American Control Conference, Jun 2018, Milwaukee, WI, United States
...
hal-01464523v3  Reports
Agostino Martinelli. Nonlinear Unknown Input Observability: The Analytic Solution in the case of a Single Unknown Input
[Research Report] RR-9027, INRIA Grenoble - Rhone-Alpes - CHROMA Team. 2017, pp.55
...
hal-01247074v4  Conference papers
Ayman AljarbouhBenoît Caillaud. Robust Simulation for Hybrid Systems Chattering Path Avoidance
The 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
...
hal-02058417v1  Conference papers
Georgios BouloukakisIoannis MoscholiosNikolaos Georgantas. Probabilistic Event Dropping for Intermittently Connected Subscribers over Pub/Sub Systems
ICC 2019 - IEEE International Conference on Communications, May 2019, Shanghai, China
hal-02058069v1  Conference papers
Othman LakhalAchille MelinguiGérald DherbomezRochdi Merzouki. Control of a Hyper-Redundant Robot for Quality Inspection in Additive Manufacturing for Construction
RoboSoft 2019 - IEEE International Conference on Soft Robotics, Apr 2019, Seoul, South Korea. pp.1-6
...
hal-01356972v1  Conference papers
Kwassi Holali DegueDenis EfimovJean-Pierre Richard. Interval Observers for Linear Impulsive Systems
10th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2016), Aug 2016, Monterey, California, United States
...
hal-01656726v1  Book sections
Yue ChenMd Umar HashmiJoel MathiasAna BušicSean Meyn. Distributed Control Design for Balancing the Grid Using Flexible Loads
S. Meyn; T. Samad; I. Hiskens; J. Stoustrup. IMA Volume on the Control of Energy Markets and Grids, 162, Springer, pp.383-411, 2018
...
hal-01656735v1  Conference papers
Ana BušicMd Umar HashmiSean Meyn. Distributed control of a fleet of batteries
ACC 2017 - American Control Conference, May 2017, Seattle, United States. pp.1-6
...
hal-01406115v1  Conference papers
Sucheendra PalaniappanMatthieu PichenéGrégory BattEric FabreBlaise Genest. A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways
Hybrid Systems Biology, 5th International Workshop, HSB 2016, Oct 2016, Grenoble, France. pp.3-15, ⟨10.1007/978-3-319-47151-8_1⟩
...
hal-01806487v1  Conference papers
Md Umar HashmiAna Bušic. Limiting Energy Storage Cycles of Operation
10th IEEE Green Technologies Conference (GreenTech 2018), Apr 2018, Austin, TX, United States. ⟨10.1109/GreenTech.2018.00022⟩
...
hal-01807284v1  Conference papers
Nicolas BerthierHervé MarchandEric Rutten. Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management
WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
...
hal-02387424v1  Journal articles
Cheng-Zhong XuGauthier Sallet. Multivariable boundary PI control and regulation of a fluid flow system
Mathematical Control and Related Fields, AIMS, 2014, 4, pp.501 - 520. ⟨10.3934/mcrf.2014.4.501⟩
...
hal-01860334v1  Conference papers
Ilyas ToumliltAlejandro TomsicMarc Shapiro. Vers une cohérence causale évolutive sans chaînes de ralentissements
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Nice Sophia-Antipolis, France
...
hal-01157867v1  Reports
Stéphane DelbruelDavide FreyFrançois Taïani. Exploring the Geography of Tags in Youtube Views
[Research Report] RT-0461, IRISA, Inria Rennes; INRIA. 2015, 27 p
...
hal-01402539v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Les interfaces Cerveau-Ordinateur 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-147-1