976 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR49 papers
- Technical University of DenmarkDK38 papers
- Aarhus UniversityDK29 papers
- University of CopenhagenDK23 papers
- Tokyo Institute of TechnologyJP19 papers
- University of ManchesterGB18 papers
- École Polytechnique Fédérale de LausanneCH17 papers
- University of OxfordGB16 papers
- Centre de Physique ThéoriqueFR14 papers
- East China Normal UniversityCN14 papers
- IMAR - Institutul de Matematică „Simion Stoilow” al Academiei RomâneRO14 papers
- Imperial College LondonGB14 papers
4 papers · 2 filters
Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes
Christian Schilling, Marcelo Forets, Sebastian Guadalupe
We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable state…
Edge Computing and Communication for Energy-Efficient Earth Surveillance with LEO Satellites
Marc Martinez-Gost, Israel Leyva-Mayorga, Ana Pérez-Neira +3
Modern satellites deployed in low Earth orbit (LEO) accommodate processing payloads that can be exploited for edge computing. Furthermore, by implementing inter-satellite links, th…
Generalized Multivariable Grid-Forming Control Design for Power Converters
Meng Chen, Dao Zhou, Ali Tayyebi +3
The grid-forming converter is an important unit in the future power system with more inverter-interfaced generators. However, improving its performance is still a key challenge. Th…
Sparse Packetized Predictive Control of Disturbed Plants Over Channels with Data Loss
Mohsen Barforooshan, Masaaki Nagahara, Jan Ostergaard
This paper investigates closed-loop stability of a linear discrete-time plant subject to bounded disturbances when controlled according to packetized predictive control (PPC) polic…