Skip to Main content Skip to Navigation

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
hal-02294321v1  Journal articles
Hugo LhachemiChristophe PrieurEmmanuel Trélat. PI Regulation of a Reaction-Diffusion Equation with Delayed Boundary Control
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAC.2020.2996598⟩
hal-01913822v1  Conference papers
Cláudio GomesCasper ThuleJulien DeantoniPeter Gorm LarsenHans Vangheluwe. Co-simulation: The Past, Future, and Open Challenges
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018, Limassol, Cyprus. pp.504--520
hal-02972549v1  Conference papers
Jawher JerrayLaurent FribourgÉtienne André. Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
hal-01679070v1  Journal articles
Le Ha Vy Nguyen. A unified approach for the $H_\infty$-stability analysis of classical and fractional neutral systems with commensurate delays
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2018, 56 (1), pp.538-555. ⟨10.1137/16m1101271⟩
hal-01415856v1  Journal articles
Jonatha AnselmiN. S. Walton. Decentralized Proportional Load Balancing
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2016, 76 (1), pp.391-410. ⟨10.1137/140969361⟩
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-01684422v2  Reports
Michel FliessCédric Join. Dynamic compensation and homeostasis: a feedback control perspective
[Research Report] Ecole polytechnique X. 2018, pp.1-22
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-01943541v1  Conference papers
Fábio M. CostaNikolaos GeorgantasRaphael GomesRicardo da RochaGeorgios Bouloukakis. Cross-layer QoS-Aware Resource Allocation for IoT-Enabled Service Choreographies
The 5th International Workshop on Middleware and Applications for the Internet of Things (M4IoT), Dec 2018, Rennes, France
hal-02298615v1  Conference papers
Roberto YusGeorgios BouloukakisSharad MehrotraNalini Venkatasubramanian. Abstracting Interactions with IoT Devices Towards a Semantic Vision of Smart Spaces
BuildSys 2019 - 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Nov 2019, New York, United States. ⟨10.1145/3360322.3360859⟩
hal-01797930v1  Conference papers
Georgios BouloukakisIoannis MoscholiosNikolaos GeorgantasValérie Issarny. Simulation-based Queueing Models for Performance Analysis of IoT Applications
11th International Symposium on Communication Systems, Networks, and Digital Signal Processing (CSNDSP), Jul 2018, Budapest, Hungary
hal-02298610v1  Poster communications
Sumaya AlmaneeGeorgios BouloukakisDaokun JiangSameera GhayyurDhrubajyoti Ghosh et al.  Demo Abstract: SemIoTic: Bridging the Semantic Gap in IoT Spaces
BuildSys 2019 - 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Nov 2019, New York, United States. ⟨10.1145/3360322.3360996⟩
hal-02161795v1  Conference papers
Valérie IssarnyBenjamin BilletGeorgios BouloukakisDaniela FlorescuCristian Toma. LATTICE: A Framework for Optimizing IoT System Configurations at the Edge
ICDCS 2019 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, Texas, United States
hal-01233730v1  Conference papers
Baldwin DumortierEmmanuel VincentMadalina Deaconu. Acoustic control of wind farms
Ewea 2015 - The European Wind Energy Association Conference, Nov 2015, Paris, France
hal-01242371v1  Conference papers
Sergiy BogomolovChristian SchillingEzio BartocciGregory BattHui Kong et al.  Abstraction-Based Parameter Synthesis for Multiaffine Systems
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Nov 2015, Haifa, Israel. pp.19-35, ⟨10.1007/978-3-319-26287-1_2⟩
hal-01241224v1  Conference papers
Lei MoPengcheng YouXianghui CaoYe-Qiong SongJiming Chen. Decentralized Multi-Charger Coordination for Wireless Rechargeable Sensor Networks
34th IEEE -- International Performance Computing and Communications Conference, Dec 2015, Nanjing, China