62nd IEEE Conference on Decision and Control (CDC 2023)
December 13-15, 2023  |  Marina Bay Sands, Singapore
  
2023 62nd IEEE Conference on Decision and Control (CDC)
December 13-15, 2023, Marina Bay Sands, Singapore

Program at a Glance    Wednesday    Thursday    Friday    Author Index    Keyword Index    My Program  

Last updated on December 7, 2023. This conference program is tentative and subject to change

Technical Program for Friday December 15, 2023

To show or hide the keywords and abstract (text summary) of a paper (if available), click on the paper title
Open all abstracts   Close all abstracts
 
FrP1  Plenary Session, Roselle Simpor Main Ballroom 4601AB-4806 Add to My Program 
Machine Learning: Bane or Boon for Control?  
 
Chair: Parisini, ThomasImperial College & Univ. of Trieste
 
08:30-09:30, Paper FrP1.1 Add to My Program
 Machine Learning: Bane or Boon for Control?

Krstic, MiroslavUniversity of California, San Diego
 
FrA01  Invited Session, Melati Junior 4010A-4111 Add to My Program 
Learning, Optimization, and Game Theory III  
 
Chair: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Co-Chair: Zhang, KaiqingUniversity of Maryland
Organizer: Doan, Thinh T.Virginia Tech
Organizer: Sayin, Muhammed OmerBilkent University
Organizer: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Organizer: Zhang, KaiqingUniversity of Maryland
 
10:00-10:20, Paper FrA01.1 Add to My Program
 Approximate Optimal Indirect Regulation of an Uncertain Agent with a Lyapunov-Based Deep Neural Network

Makumi, Wanjiku A.University of Florida
Bell, Zachary I.Air Force
Dixon, Warren E.University of Florida
 
10:20-10:40, Paper FrA01.2 Add to My Program
 Neural Operators for Hyperbolic PDE Backstepping Feedback Laws (I)

Bhan, LukeUniversity of California, San Diego
Shi, YuanyuanUniversity of California San Diego
Krstic, MiroslavUniversity of California, San Diego
 
10:40-11:00, Paper FrA01.3 Add to My Program
 On the Effect of the Presence of an Opponent in a Class of LQ Differential Games (I)

Tarantino, LorenzoUniversità Degli Studi Di Roma Tor Vergata
Astolfi, AlessandroImperial College & Univ. of Rome
Sassano, MarioUniversity of Rome, Tor Vergata
 
11:00-11:20, Paper FrA01.4 Add to My Program
 Learning Switched Koopman Models for Control of Entity-Based Systems (I)

Blischke, MadelineThe University of California, Santa Barbara
Hespanha, Joao P.Univ. of California, Santa Barbara
 
11:20-11:40, Paper FrA01.5 Add to My Program
 A Physics-Informed Neural Networks Framework to Solve the Infinite-Horizon Optimal Control Problem (I)

Fotiadis, FilipposGeorgia Institute of Technology
Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
 
11:40-12:00, Paper FrA01.6 Add to My Program
 Worst-Case Control and Learning Using Partial Observations Over an Infinite Time Horizon (I)

Dave, AdityaCornell University
Faros, IoannisUniversity of Delaware
Senthil Kumar, Nishanth VenkateshCornell University
Malikopoulos, Andreas A.Cornell University
 
FrA02  Invited Session, Orchid Main 4202-4303 Add to My Program 
Data-Driven Verification and Control of Cyber-Physical Systems I  
 
Chair: Lavaei, AbolfazlNewcastle University
Co-Chair: Jungers, Raphaël M.University of Louvain
Organizer: Lavaei, AbolfazlNewcastle University
Organizer: Jungers, Raphaël M.University of Louvain
Organizer: Abate, AlessandroUniversity of Oxford
 
10:00-10:20, Paper FrA02.1 Add to My Program
 Data-Driven Stability Certificate of Interconnected Homogeneous Networks Via ISS Properties

Lavaei, AbolfazlNewcastle University
Angeli, DavidImperial College
 
10:20-10:40, Paper FrA02.2 Add to My Program
 Data-Driven Control with Inherent Lyapunov Stability (I)

Min, YoungjaeMIT
Richards, Spencer M.Stanford University
Azizan, NavidMIT
 
10:40-11:00, Paper FrA02.3 Add to My Program
 Data-Driven Abstractions Via Adaptive Refinements and a Kantorovich Metric (I)

Banse, AdrienUCLouvain
Romao, LicioUniversity of Oxford
Abate, AlessandroUniversity of Oxford
Jungers, Raphaël M.University of Louvain
 
11:00-11:20, Paper FrA02.4 Add to My Program
 Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems (I)

Harapanahalli, AkashGeorgia Institute of Technology
Jafarpour, SaberGeorgia Institute of Technology
Coogan, SamuelGeorgia Institute of Technology
 
11:20-11:40, Paper FrA02.5 Add to My Program
 Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis (I)

Santa Cruz Leal, UlicesUniversity of California Irvine
Shoukry, YasserUniversity of California, Irvine
 
11:40-12:00, Paper FrA02.6 Add to My Program
 MDP Abstractions from Data: Large-Scale Stochastic Networks (I)

Lavaei, AbolfazlNewcastle University
 
FrA03  Invited Session, Orchid Main 4204-4305 Add to My Program 
Safe Planning and Control with Uncertainty Quantification III  
 
Chair: Gao, YulongUniversity of Oxford
Co-Chair: Motee, NaderLehigh University
Organizer: Gao, YulongUniversity of Oxford
Organizer: Lindemann, LarsUniversity of Southern California
Organizer: Fan, ChuchuMassachusetts Institute of Technology
Organizer: Abate, AlessandroUniversity of Oxford
Organizer: Pappas, George J.University of Pennsylvania
 
10:00-10:20, Paper FrA03.1 Add to My Program
 Safe Navigation of Networked Robots under Localization Uncertainty Using Robust Control Barrier Functions (I)

Miksits, AdamEricsson Research
Barbosa, FernandoEricsson Research
Lindhé, MagnusEricsson Research
Araujo, JoseEricsson Research
Johansson, Karl H.KTH Royal Institute of Technology
 
10:20-10:40, Paper FrA03.2 Add to My Program
 Safe Perception-Based Control under Stochastic Sensor Uncertainty Using Conformal Prediction (I)

Yang, ShuoUniversity of Pennsylvania
Pappas, George J.University of Pennsylvania
Mangharam, RahulUniversity of Pennsylvania
Lindemann, LarsUniversity of Southern California
 
10:40-11:00, Paper FrA03.3 Add to My Program
 Data-Driven IQC-Based Robust Control Design for Hybrid Micro-Disturbance Isolation Platform (I)

Gupta, VaibhavÉcole Polytechnique Fédérale De Lausanne (EPFL)
Klauser, EliasCSEM SA
Karimi, AlirezaEPFL
 
11:00-11:20, Paper FrA03.4 Add to My Program
 Impact of Misperception on Emergence of Risk in Platoon of Autonomous Vehicles (I)

Amini, ArashThe University of Texas at Austin
Liu, GuangyiLehigh University
Pandey, VivekLehigh University
Motee, NaderLehigh University
 
11:20-11:40, Paper FrA03.5 Add to My Program
 Formal Verification of Attitude Control Systems Using Geometric Barrier Functions (I)

Xu, ChenchengZhejiang University
Zhao, ChengchengZhejiang University
Shi, ZhiguoZhejiang Univesity
Chen, JimingZhejiang University
 
11:40-12:00, Paper FrA03.6 Add to My Program
 Controller Implementability: A Data-Driven Approach (I)

Padoan, AlbertoETH Zürich
Coulson, JeremyUniversity of Wisconsin-Madison
Dörfler, FlorianSwiss Federal Institute of Technology (ETH) Zurich
 
FrA04  Regular Session, Simpor Junior 4913 Add to My Program 
Autonomous Vehicles II  
 
Chair: Axehill, DanielLinköping University
Co-Chair: Chen, Ben M.Chinese University of Hong Kong
 
10:00-10:20, Paper FrA04.1 Add to My Program
 Scenario-Based Hybrid Model Predictive Design for Cooperative Adaptive Cruise Control in Mixed-Autonomy Environments

Mosharafian, SahandUniversity of Georgia
Bao, YajieThe University of Georgia
Mohammadpour Velni, JavadClemson University
 
10:20-10:40, Paper FrA04.2 Add to My Program
 Energy-Optimal Trajectory-Based Traveling Salesman Problem for Multi-Rotor Unmanned Aerial Vehicles

Gao, ChuanxiangThe Chinese University of Hong Kong
Ding, WendiThe Chinese University of Hong Kong
Zuoquan, ZhaoThe Chinese University of Hong Kong
Chen, Ben M.Chinese University of Hong Kong
 
10:40-11:00, Paper FrA04.3 Add to My Program
 On Integrated Optimal Task and Motion Planning for a Tractor-Trailer Rearrangement Problem

Hellander, AnjaLinköping University
Bergman, KristofferLinköping University
Axehill, DanielLinköping University
 
11:00-11:20, Paper FrA04.4 Add to My Program
 Interaction-Aware Trajectory Prediction and Planning in Dense Highway Traffic Using Distributed Model Predictive Control

Börve, ErikChalmers University of Technology
Murgovski, NikolceChalmers University of Technology
Laine, LeoChalmers
 
11:20-11:40, Paper FrA04.5 Add to My Program
 Model Predictive Control with Collision Avoidance for Unknown Environment

Silvestre, DanielNOVA University of Lisbon
Ramos, GuilhermeInstituto De Telecomunicações, 1049-001 Lisbon, Portugal
 
11:40-12:00, Paper FrA04.6 Add to My Program
 Perception-Aware Trajectory Planning for a Pair of Unicycle-Like Robots with Absolute and Relative Ranging Measurements

Riz, FrancescoUniversity of Trento
Palopoli, LuigiUniversity of Trento
Fontanelli, DanieleUniversity of Trento
 
FrA05  Invited Session, Simpor Junior 4912 Add to My Program 
Policy Optimization Methods and Data-Driven Learning-Based Control  
 
Chair: Tang, YujiePeking University
Co-Chair: You, KeyouTsinghua University
Organizer: Tang, YujiePeking University
Organizer: You, KeyouTsinghua University
 
10:00-10:20, Paper FrA05.1 Add to My Program
 Learning to Control under Communication Constraints

Aggarwal, ShubhamUniversity of Illinois, Urbana Champaign
Velicheti, Raj KiritiUniversity of Illinois at Urbana Champaign
Basar, TamerUniv of Illinois, Urbana-Champaign
 
10:20-10:40, Paper FrA05.2 Add to My Program
 On the Global Optimality of Direct Policy Search for Nonsmooth H∞ Output-Feedback Control (I)

Tang, YujiePeking University
Zheng, YangUniversity of California San Diego
 
10:40-11:00, Paper FrA05.3 Add to My Program
 Data-Driven Self-Triggering Mechanism for State Feedback Control

Liu, WenjieBeijing Institute of Technology, Beijing, China
Li, YifeiBeijing Institute of Technology
Sun, JianBeijing Institute of Technology
Wang, GangBeijing Institute of Technology
Chen, JieBeijing Institute of Technology
 
11:00-11:20, Paper FrA05.4 Add to My Program
 Data-Enabled Policy Optimization for the Linear Quadratic Regulator (I)

Zhao, FeiranTsinghua University
Dörfler, FlorianSwiss Federal Institute of Technology (ETH) Zurich
You, KeyouTsinghua University
 
11:20-11:40, Paper FrA05.5 Add to My Program
 Toward Understanding State Representation Learning in MuZero: A Case Study in Linear Quadratic Gaussian Control (I)

Tian, YiMIT
Zhang, KaiqingUniversity of Maryland, College Park
Tedrake, RussMIT
Sra, SuvritMIT
 
11:40-12:00, Paper FrA05.6 Add to My Program
 Exact Subspace Diffusion for Decentralized Multitask Learning (I)

Wadehra, ShreyaImperial College London
Nassif, RoulaUniversite Cote D'Azur
Vlaski, StefanImperial College London
 
FrA06  Invited Session, Simpor Junior 4911 Add to My Program 
Estimation and Control of Infinite Dimensional Systems II  
 
Chair: Demetriou, Michael A.Worcester Polytechnic Institute
Co-Chair: Burns, John AVirginia Tech
Organizer: Demetriou, Michael A.Worcester Polytechnic Institute
Organizer: Burns, John AVirginia Tech
 
10:00-10:20, Paper FrA06.1 Add to My Program
 Adaptive Spatial PID and PD Coupling in Synchronization Control of Collocated Infinite and Finite Dimensional Systems (I)

Demetriou, Michael A.Worcester Polytechnic Institute
 
10:20-10:40, Paper FrA06.2 Add to My Program
 Consensus of Networked Hyperbolic Systems Via Event-Triggered Boundary Feedback Control (I)

Lu, MengyaoBeijing University of Technology
Zhan, JingyuanBeijing University of Technology
Zhang, LiguoBeijing University of Technology
 
10:40-11:00, Paper FrA06.3 Add to My Program
 Stabilization by 1D Boundary Actuation of Distal 1D Reaction-Diffusion PDE through Heat PDE on a Rectangle (I)

Guan, DandanDonghua University
Qi, JieDonghua University
Krstic, MiroslavUniversity of California, San Diego
 
11:00-11:20, Paper FrA06.4 Add to My Program
 Stability of Linear KdV Equation in a Network with Bounded and Unbounded Lengths (I)

Parada, HugoUniversité Grenoble Alpes, Laboratoire Jean Kunzmann
Crépeau, EmmanuelleUniversité De Versailles Saint Quentin
Prieur, ChristopheCNRS
 
11:20-11:40, Paper FrA06.5 Add to My Program
 Pressure Stabilized POD Reduced Order Model for Control of Viscous Incompressible Flows (I)

Ravindran, S.S.University of Alabama in Huntsville
 
11:40-12:00, Paper FrA06.6 Add to My Program
 Delta-Method Induced Confidence Bands for a Parameter-Dependent Evolution System with Application to Transdermal Alcohol Concentration Monitoring (I)

Liu, HaoxingUniversity of Southern California
Goldstein, LarryUniversity of Southern California
Luczak, SusanUniversity of Southern California
Rosen, I. GaryUniv. of Southern California
 
FrA07  Invited Session, Simpor Junior 4813 Add to My Program 
Identification, Optimization, and Games for Stochastic Systems  
 
Chair: Zhao, WenxiaoAcademy of Mathematics and Systems Science, Chinese Academy of Sciences
Co-Chair: Mu, BiqiangChinese Academy of Sciences
Organizer: Zhao, WenxiaoAcademy of Mathematics and Systems Science, Chinese Academy of Sciences
Organizer: Qi, HongshengAMSS, Chinese Academy of Sciences
Organizer: Mu, BiqiangChinese Academy of Sciences
 
10:00-10:20, Paper FrA07.1 Add to My Program
 Sparse Plus Low-Rank Identification of Latent-Variable Graphical ARMA Models (I)

You, JunyaoBeijing Institute of Technology
Yu, ChengpuBeijing Institute of Technology
 
10:20-10:40, Paper FrA07.2 Add to My Program
 An Efficient Implementation for Bayesian Manifold Regularization Method (I)

Zhang, JunpengThe Chinese University of Hong Kong, Shenzhen
Ju, YueKTH Royal Institute of Technology
Wahlberg, BoKTH Royal Institute of Technology
Mu, BiqiangChinese Academy of Sciences
Chen, TianshiThe Chinese University of Hong Kong, Shenzhen, China
 
10:40-11:00, Paper FrA07.3 Add to My Program
 New Approach to Variable Selection for Nonparametric Nonlinear Systems (I)

Ren, XiaotaoKey Laboratory of Systems and Control, Academy of Mathematics An
Zhao, WenxiaoAcademy of Mathematics and Systems Science, Chinese Academy of S
Gao, JinwuJilin University
 
11:00-11:20, Paper FrA07.4 Add to My Program
 A Family of Hyper-Parameter Estimators for Regularized Linear System Identification (I)

Zhang, MengAcademy of Mathematics and System Science, Chinese Academy of Sc
Chen, TianshiThe Chinese University of Hong Kong, Shenzhen, China
Mu, BiqiangChinese Academy of Sciences
 
11:20-11:40, Paper FrA07.5 Add to My Program
 Multi-Agent Deep Reinforcement Learning for Large-Scale Platoon Coordination with Partial Information at Hubs (I)

Wei, DixiaoTongji University
Yi, PengTongji University
Lei, JinlongTongji University
 
11:40-12:00, Paper FrA07.6 Add to My Program
 Compressibility of Voter-Model State Snapshots in the Graph Spectral Basis (I)

Zhu, ChenyanTexas A&M University
Roy, SandipWashington State University
 
FrA08  Regular Session, Simpor Junior 4812 Add to My Program 
Optimal Control VII  
 
Chair: Khani, AlirezaUniversity of Minnesota-Twin Cities
Co-Chair: Shvartsman, IlyaPenn State Harrisburg
 
10:00-10:20, Paper FrA08.1 Add to My Program
 Near-Optimal Control of Nonlinear Systems with Hybrid Inputs and Dwell-Time Constraints

Lal-Fediuc, IoanaTechnical University of Cluj-Napoca
Morarescu, Irinel-ConstantinCRAN, CNRS, Université De Lorraine
Daafouz, JamalUniversité De Lorraine, CRAN, CNRS
Busoniu, LucianTechnical University of Cluj-Napoca
 
10:20-10:40, Paper FrA08.2 Add to My Program
 Continuous Optimization for Control of Finite-State Machines with Cascaded Hysteresis Via Time-Freezing

Van Roy, WimKU Leuven
Nurkanovic, ArminUniversity of Freiburg
Abbasi Esfeden, RaminKU Leuven
Frey, JonathanUniversity of Freiburg
Pozharskiy, AntonUniversity of Freiburg
Swevers, JanK. U. Leuven
Diehl, MoritzUniversity of Freiburg
 
10:40-11:00, Paper FrA08.3 Add to My Program
 Convexification of Robust Trajectory Planning Problems with Nominal State and Control Dependent Uncertainties

Sheridan, OliverUniversity of Washington
Acikmese, BehcetUniversity of Washington
 
11:00-11:20, Paper FrA08.4 Add to My Program
 Optimality Conditions in Infinite-Horizon Optimal Control Problem with Vanishing Discounting

Shvartsman, IlyaPenn State Harrisburg
 
11:20-11:40, Paper FrA08.5 Add to My Program
 Efficient and Real-Time Reinforcement Learning for Linear Quadratic Systems with Application to H-Infinity Control

Aalipour, AliUniversity of Minnesota
Khani, AlirezaUniversity of Minnesota-Twin Cities
 
11:40-12:00, Paper FrA08.6 Add to My Program
 Open-Loop and Feedback LQ Potential Differential Games for Multi-Agent Systems

Scarpa, Maria LuisaImperial College London
Mylvaganam, ThulasiImperial College London
 
FrA09  Regular Session, Simpor Junior 4811 Add to My Program 
Optimization II  
 
Chair: Jiang, WeiAalto University, Finland
Co-Chair: Charalambous, ThemistoklisUniversity of Cyprus
 
10:00-10:20, Paper FrA09.1 Add to My Program
 Distributed Markov Chain-Based Strategies for Multi-Agent Robotic Surveillance

Diaz-Garcia, GilbertoUniversity of California, Santa Barbara
Bullo, FrancescoUniv of California at Santa Barbara
Marden, Jason R.University of California, Santa Barbara
 
10:20-10:40, Paper FrA09.2 Add to My Program
 A Unified Early Termination Technique for Primal-Dual Algorithms in Mixed Integer Conic Programming

Chen, YuwenUniversity of Oxford
Ning, CatherineUniversity of Oxford
Goulart, Paul J.University of Oxford
 
10:40-11:00, Paper FrA09.3 Add to My Program
 Global Resolution of Chance-Constrained Optimization Problems: Minkowski Functionals and Monotone Inclusions

Zhang, PeixuanPennsylvania State University
Shanbhag, Uday V.Pennsylvania State University
Lagoa, Constantino M.Pennsylvania State Univ
Bardakci, Ibrahim EkremBartin University
 
11:00-11:20, Paper FrA09.4 Add to My Program
 Variational Principles for Mirror Descent and Mirror Langevin Dynamics

Tzen, BelindaColumbia University
Raj, AnantINRIA - Ecole Normale Supérieure
Raginsky, MaximUniversity of Illinois at Urbana-Champaign
Bach, FrancisINRIA - Ecole Normale Supérieure
 
11:20-11:40, Paper FrA09.5 Add to My Program
 Leveraging Proximal Optimization for Differentiating Optimal Control Solvers

Bounou, OumaymaInria, ENS
Ponce, JeanEcole Normale Supérieure
Carpentier, JustinInria
 
11:40-12:00, Paper FrA09.6 Add to My Program
 Distributed Optimization Via Gradient Descent with Event-Triggered Zooming Over Quantized Communication

Rikos, Apostolos I.KTH Royal Institute of Technology
Jiang, WeiAalto University, Finland
Charalambous, ThemistoklisUniversity of Cyprus
Johansson, Karl H.KTH Royal Institute of Technology
 
FrA10  Regular Session, Roselle Junior 4713 Add to My Program 
Neural Networks II  
 
Chair: Raginsky, MaximUniversity of Illinois at Urbana-Champaign
Co-Chair: Tóth, RolandEindhoven University of Technology
 
10:00-10:20, Paper FrA10.1 Add to My Program
 Gasoline Controlled Auto-Ignition with Learning-Based Uncertainty Using Stochastic Model Predictive Control

Chen, XuRWTH Aachen University
Basler, MaximilianRWTH Aachen University
Ketelhut, MaikeRWTH Aachen University
Abel, DirkRWTH Aachen University
 
10:20-10:40, Paper FrA10.2 Add to My Program
 Computationally Efficient Predictive Control Based on ANN State-Space Models

Hoekstra, Jan HiddeEindhoven University of Technology
Cseppentő, BenceBudapest University of Technology and Economics
Beintema, Gerben IzaakEindhoven University of Technology
Schoukens, MaartenEindhoven University of Technology
Kollar, ZsoltBudapest University of Technology and Economics
Tóth, RolandEindhoven University of Technology
 
10:40-11:00, Paper FrA10.3 Add to My Program
 An Analytic End-To-End Deep Learning Algorithm Based on Collaborative Learning

Li, SitanNanyang Technological University
Cheah, Chien ChernNanyang Tech. Univ
 
11:00-11:20, Paper FrA10.4 Add to My Program
 Tight Certified Robustness Via Min-Max Representations of ReLU Neural Networks

Anderson, Brendon G.University of California, Berkeley
Pfrommer, SamuelUniversity of California, Berkeley
Sojoudi, SomayehUC Berkeley
 
11:20-11:40, Paper FrA10.5 Add to My Program
 Safety Filter Design for Neural Network Systems Via Convex Optimization

Chen, ShaoruUniversity of Pennsylvania
Chee, Kong YaoUniversity of Pennsylvania
Matni, NikolaiUniversity of Pennsylvania
Hsieh, M. AniUniversity of Pennsylvania
Pappas, George J.University of Pennsylvania
 
11:40-12:00, Paper FrA10.6 Add to My Program
 A Constructive Approach to Function Realization by Neural Stochastic Differential Equations

Veeravalli, TanyaUniversity of Illinois, Urbana-Champaign
Raginsky, MaximUniversity of Illinois at Urbana-Champaign
 
FrA11  Regular Session, Roselle Junior 4712 Add to My Program 
Large-Scale Systems I  
 
Chair: Weyer, ErikUniv. of Melbourne
Co-Chair: Ishii, HideakiTokyo Institute of Technology
 
10:00-10:20, Paper FrA11.1 Add to My Program
 An Optimization-Based Network Partitioning Method Considering Local Controllability: Application to Water Distribution Networks

Arastou, AlirezaUniversity of Melbourne
Wang, YeThe University of Melbourne
Weyer, ErikUniv. of Melbourne
 
10:20-10:40, Paper FrA11.2 Add to My Program
 Low-Complexity Linear Parameter-Varying Approximations of Incompressible Navier-Stokes Equations for Truncated State-Dependent Riccati Feedback

Heiland, JanMax Planck Institute for Dynamics of Complex Technical Systems
Werner, Steffen W. R.Virginia Tech
 
10:40-11:00, Paper FrA11.3 Add to My Program
 Conflict-Free Node-To-Robot Scheduling for Lifelong Operation in a Warehouse with Narrow-Corridor Environment

Singh, Sharad KumarAddverb Technologies, Noida
M, HemantharajAddverb Technologies
Bhattacharya, SayantaniAddverb Technologies, Noida
Jha, ManishAddverb Technologies
 
11:00-11:20, Paper FrA11.4 Add to My Program
 Local Convergence of Multi-Agent Systems towards Rigid Lattices

Giusti, AndreaUniversity of Naples Federico II
Coraggio, MarcoScuola Superiore Meridionale
di Bernardo, MarioUniversity of Naples Federico II
 
11:20-11:40, Paper FrA11.5 Add to My Program
 Ensemble Control of a Large Population of Stochastic Oscillators: Periodic–Feedback Control Approach

Ito, KaitoTokyo Institute of Technology
Kume, HaruhiroTokyo Institute of Technology
Ishii, HideakiTokyo Institute of Technology
 
11:40-12:00, Paper FrA11.6 Add to My Program
 Entropic Model Predictive Optimal Transport for Underactuated Linear Systems

Ito, KaitoTokyo Institute of Technology
Kashima, KenjiKyoto University
 
FrA12  Regular Session, Roselle Junior 4711 Add to My Program 
Distributed Control I  
 
Chair: Belkhatir, ZehorUniversity of Southampton
Co-Chair: Jagtap, PushpakIndian Institute of Science
 
10:00-10:20, Paper FrA12.1 Add to My Program
 Distributed Multi-Robot Flocking Based on Acoustic Doppler Effect

Zhou, YizhiGeroge Mason University
Nowzari, CameronGeorge Mason University
Wang, XuanGeorge Mason University
 
10:20-10:40, Paper FrA12.2 Add to My Program
 Infinite-Dimensional Output-Feedback Bounded Bilinear Control of a Parallel-Flow Heat Exchanger

Mechhoud, SarahUniversity of 20 August 1955 Skikda
Belkhatir, ZehorUniversity of Southampton
 
10:40-11:00, Paper FrA12.3 Add to My Program
 A Bound on the Existence of the Maximum Jointly Invariant Set of Input-Coupled Systems

Sánchez-Amores, AnaUniversity of Seville
Maestre, Jose Maria (Pepe)University of Seville
Trodden, PaulUniversity of Sheffield
Camacho, Eduardo F.Univ. of Sevilla
 
11:00-11:20, Paper FrA12.4 Add to My Program
 Distributed Optimal Solutions for Multiagent Pursuit-Evasion Games

Zhou, PanpanKTH Royal Institute of Technology
Chen, Ben M.Chinese University of Hong Kong
 
11:20-11:40, Paper FrA12.5 Add to My Program
 Consensus Control Driven by Value Exchange

Sugiyama, DaikiKyoto University
Azuma, Shun-ichiKyoto University
Ariizumi, RyoNagoya University
Asai, ToruNagoya University
 
11:40-12:00, Paper FrA12.6 Add to My Program
 Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control

Sundarsingh, David SmithIndian Institute of Science
Bhagiya, JayIndian Institute of Science
Saharsh, SaharshIndian Institute of Science, Bangalore
Chatrola, JeelIndian Institute of Science
Saoud, AdnaneCentraleSupelec
Jagtap, PushpakIndian Institute of Science
 
FrA13  Regular Session, Roselle Junior 4613 Add to My Program 
Networked Control Systems IV  
 
Chair: Steinberger, MartinGraz University of Technology
Co-Chair: Bastianello, NicolaKTH Royal Institute of Technology
 
10:00-10:20, Paper FrA13.1 Add to My Program
 A Unified Approach to Solve the Dynamic Consensus on the Average, Maximum, and Median Values with Linear Convergence

Deplano, DiegoUniversity of Cagliari
Bastianello, NicolaKTH Royal Institute of Technology
Franceschelli, MauroUniversity of Cagliari
Johansson, Karl H.KTH Royal Institute of Technology
 
10:20-10:40, Paper FrA13.2 Add to My Program
 An Emulation Approach to Sampled-Data Synchronization

Barkai, GalTechnion—Israel Institute of Technology
Mirkin, LeonidTechnion - IIT
Zelazo, DanielTechnion - Israel Institute of Technology
 
10:40-11:00, Paper FrA13.3 Add to My Program
 Optimal Scheduling Policies for Remote Estimation of Autoregressive Markov Processes Over Time-Correlated Fading Channel

Dutta, ManaliIndian Institute of Science
Singh, RahulIndian Institute of Science
 
11:00-11:20, Paper FrA13.4 Add to My Program
 Stability of Nonlinear Systems with Two Time Scales Over a Single Communication Channel

Wang, WeixuanThe University of Melbourne
Maass, Alejandro I.Universidad De O'Higgins
Nesic, DraganUniversity of Melbourne
Tan, YingThe University of Melbourne
Postoyan, RomainCNRS, CRAN, Université De Lorraine
Heemels, W.P.M.H.Eindhoven University of Technology
 
11:20-11:40, Paper FrA13.5 Add to My Program
 Stochastic Relaxation of the Maximum Allowable Delay for a Class of Networked Control Systems

Schlotterbeck, ConstanzaPontificia Universidad Católica De Chile
Gallegos, Javier A.University of Chile
Núñez, FelipePontificia Universidad Catolica De Chile
 
11:40-12:00, Paper FrA13.6 Add to My Program
 Switched Lyapunov Function-Based Controller Synthesis for Networked Control Systems: A Computationally Inexpensive Approach

Stanojevic, KatarinaGraz University of Technology
Steinberger, MartinGraz University of Technology
Horn, MartinGraz University of Technology
 
FrA14  Regular Session, Roselle Junior 4612 Add to My Program 
Observers for Linear Systems  
 
Chair: Wang, LiliUniversity of California, Irvine
Co-Chair: Becis-Aubry, YasminaUniv. of Orléans
 
10:00-10:20, Paper FrA14.1 Add to My Program
 Split-Spectrum Based Distributed Estimator for a Continuous-Time Linear System on a Time-Varying Graph

Wang, LiliPurdue University
Liu, JiStony Brook University
Anderson, Brian D.O.Australian National University
Morse, A. StephenYale Univ
 
10:20-10:40, Paper FrA14.2 Add to My Program
 Minimum-Volume Set-Membership State Estimation of Time Varying Constrained Systems with Sporadic Measurements

Becis-Aubry, YasminaUniv. of Orléans
Ramdani, NacimUniversity of Orléans
 
10:40-11:00, Paper FrA14.3 Add to My Program
 Simultaneous State and Unknown Input Interval Observer for Discrete-Time Linear Switched Systems Using Peak-To-Peak Analysis

Marouani, GhassenUniversity of Monastir
Dinh, Thach N.CNAM Paris
Wang, ZhenhuaHarbin Institute of Technology
Ping, XubinXidian University
Raïssi, TarekConservatoire National Des Arts Et Métiers
 
11:00-11:20, Paper FrA14.4 Add to My Program
 Necessary and Sufficient Conditions for Simultaneous State and Input Recovery of Linear Systems with Sparse Inputs by L1-Minimization

Poe, KyleJohns Hopkins University
Mallada, EnriqueJohns Hopkins University
Vidal, ReneJohns Hopkins University
 
11:20-11:40, Paper FrA14.5 Add to My Program
 Robust Reference Tracking of Linear Uncertain Systems Via Uncertainty Estimation and Composite Control

Yang, JunNational University of Singapore
Jia, XinyuNational University of Singapore
Hou, ZhiminNational University of Singapore
Pan, YongpingSun Yat-Sen University
Yu, HaoyongNational University of Singapore
 
11:40-12:00, Paper FrA14.6 Add to My Program
 Synthesis of Robust State Estimation Algorithms under Unknown Sensor Inputs

Khan, ShirazPurdue University
Pant, Kartik AnandPurdue University
Hwang, InseokPurdue University
 
FrA15  Regular Session, Roselle Junior 4611 Add to My Program 
Robust Control III  
 
Chair: Bhowmick, ParijatIndian Institute of Technology Guwahati
Co-Chair: Lessard, LaurentNortheastern University
 
10:00-10:20, Paper FrA15.1 Add to My Program
 Robust Data-Driven Safe Control Using Density Functions

Zheng, JianNortheastern University
Dai, TianyuNortheastern University
Miller, JaredNortheastern University
Sznaier, MarioNortheastern University
 
10:20-10:40, Paper FrA15.2 Add to My Program
 Safe and Robust Stabilization of Uncertain Nonlinear Systems Via Control Lyapunov-Barrier Function and Disturbance Observer: A Preliminary Study

Byeon, SunseokUniversity of Seoul
Park, GyunghoonUniversity of Seoul
 
10:40-11:00, Paper FrA15.3 Add to My Program
 Closing the Loop on Runtime Monitors with Fallback-Safe MPC

Sinha, RohanStanford University
Schmerling, EdwardStanford University
Pavone, MarcoStanford University
 
11:00-11:20, Paper FrA15.4 Add to My Program
 Real-Time Optimisation-Based Robust Control: Heat Exchanger Comparative Analysis

Horváthová, MichaelaSlovak University of Technology in Bratislava
Galčíková, LenkaFaculty of Chemical and Food Technology, Slovak University of Te
Klauco, MartinSlovak University of Technology in Bratislava
Oravec, JurajSlovak University of Technology in Bratislava
 
11:20-11:40, Paper FrA15.5 Add to My Program
 On State-Space Characterisation for Output Negative Imaginary Systems with Possible Poles at the Origin and Their Internal Stability Result (I)

Devi, Salam AthoibiIndian Institute of Technology Guwahati
Bhowmick, ParijatIndian Institute of Technology Guwahati
Lanzon, AlexanderUniversity of Manchester
 
11:40-12:00, Paper FrA15.6 Add to My Program
 Guaranteed Stability Margins for Decentralized Linear Quadratic Regulators

Kashyap, MrugankaNortheastern University
Lessard, LaurentNortheastern University
 
FrA16  Regular Session, Peony Junior 4512 Add to My Program 
Smart Grid II  
 
Chair: Zheng, Wei XingWestern Sydney University
Co-Chair: Liu, MingxiUniversity of Utah
 
10:00-10:20, Paper FrA16.1 Add to My Program
 Deep Learning for Scalable Optimal Design of Incremental Volt/VAR Control Rules

Gupta, SarthakVirginia Tech
Mehrizi-Sani, AliVirginia Tech
Chatzivasileiadis, SpyrosTechnical University of Denmark
Kekatos, VassilisVirginia Tech
 
10:20-10:40, Paper FrA16.2 Add to My Program
 On Privacy Preservation of Electric Vehicle Charging Control Via State Obfuscation

Huo, XiangUniversity of Utah
Liu, MingxiUniversity of Utah
 
10:40-11:00, Paper FrA16.3 Add to My Program
 Fast Distributed Resource Allocation of Smart Grid: A Zeroth-Order Optimization Algorithm

Luan, MengSoutheast University
Wen, GuanghuiSoutheast University
Zheng, Wei XingWestern Sydney University
 
11:00-11:20, Paper FrA16.4 Add to My Program
 Multi-Objective Optimal Dispatching for Heterogeneous Multienergy Ship Microgrid (I)

Ke, ShangYanshan University
Li, XiaoleiYanshan University
Luo, XiaoyuanYanshan University
Wang, JiangeYanshan University
Xu, QianwenKTH Royal Institute of Technology
 
11:20-11:40, Paper FrA16.5 Add to My Program
 An Exact Characterisation of Flexibility in Populations of Electric Vehicles

Mukhi, KaranUniversity of Oxford
Abate, AlessandroUniversity of Oxford
 
11:40-12:00, Paper FrA16.6 Add to My Program
 Reducing Aggregate Electric Vehicle Battery Capacity through Sharing

Alexeenko, PolinaCornell University
Charisopoulos, VasileiosCornell University
 
FrA17  Regular Session, Peony Junior 4511 Add to My Program 
Statistical Learning I  
 
Chair: Mahajan, AdityaMcGill University
Co-Chair: Li, TaoEast China Normal University
 
10:00-10:20, Paper FrA17.1 Add to My Program
 Multi-Agent Reachability Calibration with Conformal Prediction

Muthali, AnishUniversity of California, Berkeley
Shen, HaotianUniversity of California, Berkeley
Deglurkar, SampadaUniversity of California, Berkeley
Lim, Michael H.University of California, Berkeley
Roelofs, RebeccaUniversity of California, Berkeley
Faust, AleksandraGoogle
Tomlin, Claire J.UC Berkeley
 
10:20-10:40, Paper FrA17.2 Add to My Program
 Error Analysis of Regularized Trigonometric Linear Regression with Unbounded Sampling: A Statistical Learning Viewpoint

Scampicchio, AnnaETH Zurich
Arcari, ElenaETH Zurich
Zeilinger, Melanie N.ETH Zurich
 
10:40-11:00, Paper FrA17.3 Add to My Program
 Online Learning in Reproducing Kernel Hilbert Space with Non-IID Data

Zhang, XiweiEast China Normal University
Li, TaoEast China Normal University / New York University Shanghai
 
11:00-11:20, Paper FrA17.4 Add to My Program
 Estimation of Models with Limited Data by Leveraging Shared Structure

Rui, MaryannMassachusetts Institute of Technology
Horel, ThibautMIT
Dahleh, Munther A.Massachusetts Inst. of Tech
 
11:20-11:40, Paper FrA17.5 Add to My Program
 On the Hardness of Learning to Stabilize Linear Systems

Zeng, XiongUniversity of Michigan, Ann Arbor
Liu, ZexiangUniversity of Michigan
Du, ZheUniversity of Michigan
Ozay, NecmiyeUniv. of Michigan
Sznaier, MarioNortheastern University
 
11:40-12:00, Paper FrA17.6 Add to My Program
 Relative Almost Sure Regret Bounds for Certainty Equivalence Control of Markov Jump Systems

Sayedana, BornaMcGill University
Afshari, MohammadMcGill University
Caines, Peter E.McGill University
Mahajan, AdityaMcGill University
 
FrA18  Regular Session, Peony Junior 4412 Add to My Program 
Stability of Nonlinear Systems III  
 
Chair: Efimov, DenisInria
Co-Chair: Mauroy, AlexandreUniversity of Namur
 
10:00-10:20, Paper FrA18.1 Add to My Program
 Homogeneity with Respect to a Part of Variables and Accelerated Stabilization

Efimov, DenisInria
Kolmanovsky, Ilya V.The University of Michigan
 
10:20-10:40, Paper FrA18.2 Add to My Program
 On the Computation of Principal Eigenfunctions of the Koopman Operator

Deka, ShankarKTH Royal Institute of Technology, Sweden
Krishnamoorthy Shankara Narayanan, Sriram SundarClemson University
Vaidya, UmeshClemson University
 
10:40-11:00, Paper FrA18.3 Add to My Program
 Design of Controls for Boundedness of Trajectories of Multistable State Periodic Systems

Mendoza-Avila, JesusINRIA Lille-Nord Europe
Efimov, DenisInria
Mercado Uribe, José AngelBrandenburgische Technische Universität Cottbus-Senftenberg
Schiffer, JohannesBrandenburg University of Technology
 
11:00-11:20, Paper FrA18.4 Add to My Program
 On Systematic Criteria for the Global Stability of Nonlinear Systems Via the Koopman Operator Framework

Zagabe, Christian MugishoUniversity of Namur
Mauroy, AlexandreUniversity of Namur
 
11:20-11:40, Paper FrA18.5 Add to My Program
 Global Asymptotic Stabilization of Time-Invariant Bilinear Non-Homogeneous Complex Systems

Zaitsev, VasiliiUdmurt State University
 
11:40-12:00, Paper FrA18.6 Add to My Program
 A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions

Siegelmann, RoyJohns Hopkins University
Shen, YueJohns Hopkins University
Paganini, FernandoUniversidad ORT Uruguay
Mallada, EnriqueJohns Hopkins University
 
FrA19  Regular Session, Peony Junior 4411 Add to My Program 
Predictive Control for Linear Systems II  
 
Chair: Allgöwer, FrankUniversity of Stuttgart
Co-Chair: Schulze Darup, MoritzTU Dortmund University
 
10:00-10:20, Paper FrA19.1 Add to My Program
 Implicit Predictors in Regularized Data-Driven Predictive Control

Klädtke, ManuelTU Dortmund University
Schulze Darup, MoritzTU Dortmund University
 
10:20-10:40, Paper FrA19.2 Add to My Program
 Towards Grassmanian Dimensionality Reduction in MPC

Schurig, RolandTU Darmstadt, Control and Cyber-Physical Systems Laboratory
Himmel, AndreasTU Darmstadt
Findeisen, RolfTU Darmstadt
 
10:40-11:00, Paper FrA19.3 Add to My Program
 Efficient Computation of Lipschitz Constants for MPC with Symmetries

Teichrib, DieterTU Dortmund University
Schulze Darup, MoritzTU Dortmund University
 
11:00-11:20, Paper FrA19.4 Add to My Program
 On Stochastic MPC Formulations with Closed-Loop Guarantees: Analysis and a Unifying Framework

Köhler, JohannesETH Zurich
Geuss, FerdinandEidgenössische Technische Hochschule Zürich
Zeilinger, Melanie N.ETH Zurich
 
11:20-11:40, Paper FrA19.5 Add to My Program
 Stochastic Model Predictive Control Using Initial State and Variance Interpolation

Schlüter, HenningUniversity Stuttgart
Allgöwer, FrankUniversity of Stuttgart
 
11:40-12:00, Paper FrA19.6 Add to My Program
 Model Predictive Control in Partially Observable Multi-Modal Discrete Environments

Rosolia, UgoCaltech
Guastella, Dario CalogeroUniversity of Catania
Muscato, GiovanniUniversita Degli Studi Di Catania
Borrelli, FrancescoUnversity of California at Berkeley
 
FrA20  Regular Session, Orchid Junior 4312 Add to My Program 
Modelling and Control I  
 
Chair: Moreschini, AlessioImperial College London
Co-Chair: Tebaldi, DavideUniversity of Modena and Reggio Emilia
 
10:00-10:20, Paper FrA20.1 Add to My Program
 Model Reduction in the Loewner Framework for Second-Order Network Systems on Graphs

Moreschini, AlessioImperial College London
Simard, Joel DavidImperial College London
Astolfi, AlessandroImperial College & Univ. of Rome
 
10:20-10:40, Paper FrA20.2 Add to My Program
 Towards Bias Correction of FedAvg Over Nonuniform and Time-Varying Communications

Xiang, MingNortheastern University
Ioannidis, StratisNortheastern University
Yeh, EdmundNortheastern University
Joe-Wong, CarleeCMU
Su, LiliNortheastern University
 
10:40-11:00, Paper FrA20.3 Add to My Program
 Lyapunov Based Time Varying Subregional Control of System with Distributed Parameters

Heining, AndréUniversity of Stuttgart
Sawodny, OliverUniversity of Stuttgart
 
11:00-11:20, Paper FrA20.4 Add to My Program
 Hybrid Dynamical Control for Discharging Rate Consensus in AC-Bus Microgrids

Merchán Riveros, María CamilaUniversidad De Sevilla
Albea, CarolinaUniversity of Seville, Spain
 
11:20-11:40, Paper FrA20.5 Add to My Program
 A Dual Control Approach to Solve Exploration vs. Exploitation Trade-Offs in the Design of Personalized Physical Exercise Sessions

Jackson, Roxanne, R.Technical University of Berlin
Varagnolo, DamianoNTNU - Norwegian University of Science and Technology
Knorn, SteffiTU Berlin
 
11:40-12:00, Paper FrA20.6 Add to My Program
 Control of Nonlinear Systems under Multiple Time-Varying Output Constraints: A Single Funnel Approach

Mehdifar, FarhadKTH Royal Institute of Technology
Lindemann, LarsUniversity of Southern California
Bechlioulis, Charalampos P.University of Patras
Dimarogonas, Dimos V.KTH Royal Institute of Technology
 
FrA21  Regular Session, Orchid Junior 4311 Add to My Program 
Extremum-Seeking Control  
 
Chair: Guay, MartinQueens University
Co-Chair: Wang, ShiminQueen's University
 
10:00-10:20, Paper FrA21.1 Add to My Program
 Exponential Extremum Seeking with Unbiased Convergence

Yilmaz, Cemal TugrulUC San Diego
Diagne, MamadouUniversity of California San Diego
Krstic, MiroslavUniversity of California, San Diego
 
10:20-10:40, Paper FrA21.2 Add to My Program
 An Adaptive Extremum Seeking Scheme for Non-Convex Optimisation

Mimmo, NicolaUniversity of Bologna
Marconi, LorenzoUniv. Di Bologna
 
10:40-11:00, Paper FrA21.3 Add to My Program
 Data-Efficient Static Cost Optimization Via Extremum-Seeking Control with Kernel-Based Function Approximation

Weekers, WouterEindhoven University of Technology
Saccon, AlessandroEindhoven University of Technology
Van De Wouw, NathanEindhoven University of Technology
 
11:00-11:20, Paper FrA21.4 Add to My Program
 A Robust Time-Delay Approach to Continuous-Time Extremum Seeking for Multi-Variable Static Map

Yang, XuefeiHarbin Institute of Technology
Fridman, EmiliaTel-Aviv Univ
 
11:20-11:40, Paper FrA21.5 Add to My Program
 Semi-Global Practical Extremum Seeking with Practical Safety

Williams, AlanUCSD
Krstic, MiroslavUniversity of California, San Diego
Scheinker, AlexanderLos Alamos National Lab
 
11:40-12:00, Paper FrA21.6 Add to My Program
 Output Regulation of Second-Order Nonlinear Systems Subject to Unknown Control Direction Using Extremum Seeking Control

Harry, TelemaQueen's University
Guay, MartinQueens University
Wang, ShiminQueen's University
 
FrA22  Invited Session, Orchid Junior 4212 Add to My Program 
Optimal Transport: Theory and Applications in Systems and Control  
 
Chair: Chen, YongxinGeorgia Institute of Technology
Co-Chair: Ringh, AxelChalmers University of Technology and the University of Gothenburg
Organizer: Chen, YongxinGeorgia Institute of Technology
Organizer: Haasler, IsabelÉcole Polytechnique Fédérale De Lausanne
Organizer: Karlsson, JohanKTH Royal Institute of Technology
Organizer: Ringh, AxelChalmers University of Technology and the University of Gothenburg
 
10:00-10:20, Paper FrA22.1 Add to My Program
 Mean Field Type Control with Species Dependent Dynamics Via Structured Tensor Optimization

Ringh, AxelChalmers University of Technology and the University of Gothenbu
Haasler, IsabelÉcole Polytechnique Fédérale De Lausanne
Chen, YongxinGeorgia Institute of Technology
Karlsson, JohanKTH Royal Institute of Technology
 
10:20-10:40, Paper FrA22.2 Add to My Program
 A Matching Principle for Power Transfer in Stochastic Thermodynamics

Movilla Miangolarra, OlgaUniversity of Calfornia, Irvine
Taghvaei, AmirhosseinUniversity of Washington Seattle
Georgiou, Tryphon T.University of California, Irvine
 
10:40-11:00, Paper FrA22.3 Add to My Program
 Optimal Transport Particle Filters (I)

Al-Jarrah, MohammadUniversity of Washington Seattle
Hosseini, BamdadUniversity of Washington Seattle
Taghvaei, AmirhosseinUniversity of Washington Seattle
 
11:00-11:20, Paper FrA22.4 Add to My Program
 Optimal Transport for Correctional Learning (I)

Winqvist, RebeckaKTH Royal Institute of Technology
Lourenço, InêsKTH Royal Institute of Technology
Quinzan, FrancescoKTH Royal Institute of Technology
Rojas, Cristian R.KTH Royal Institute of Technology
Wahlberg, BoKTH Royal Institute of Technology
 
11:20-11:40, Paper FrA22.5 Add to My Program
 High-Dimensional Optimal Density Control with Wasserstein Metric Matching (I)

Ma, ShaojunGoldman Sachs
Hou, MengxueUniversity of Notre Dame
Ye, XiaojingGeorgia State University
Zhou, Hao-MinGeorgia Inst. of Tech
 
11:40-12:00, Paper FrA22.6 Add to My Program
 Optimal Mass Transport Over the Euler Equation (I)

Yan, CharlieUniversity of California Santa Cruz
Nodozi, ImanUniversity of California, Santa Cruz
Halder, AbhishekIowa State University
 
FrA23  Invited Session, Orchid Junior 4211 Add to My Program 
Formal Methods for Time-Critical Decision Making and Control  
 
Chair: Lindemann, LarsUniversity of Southern California
Co-Chair: Vasile, Cristian IoanLehigh University
Organizer: Lindemann, LarsUniversity of Southern California
Organizer: Vasile, Cristian IoanLehigh University
Organizer: Belta, CalinBoston University
Organizer: Dimarogonas, Dimos V.KTH Royal Institute of Technology
 
10:00-10:20, Paper FrA23.1 Add to My Program
 Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics (I)

Dong, WeijieShanghai Jiao Tong University
Li, ShaoyuanShanghai Jiao Tong University
Yin, XiangShanghai Jiao Tong University
 
10:20-10:40, Paper FrA23.2 Add to My Program
 Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata (I)

Balakrishnan, AnandUniversity of Southern California
Jaksic, StefanAustrian Institute of Technology
Aguilar, EdgarAustrian Institute of Technology
Nickovic, DejanAIT Austrian Institute of Technology GmbH
Deshmukh, JyotirmoyUniversity of Southern California
 
10:40-11:00, Paper FrA23.3 Add to My Program
 Robustness Measures and Monitors for Time Window Temporal Logic (I)

Ahmad, AhmadBoston University
Vasile, Cristian IoanLehigh University
Tron, RobertoBoston University
Belta, CalinBoston University
 
11:00-11:20, Paper FrA23.4 Add to My Program
 Efficient Control Synthesis under Asynchronous Temporal Robustness Constraints (I)

Yu, XinyiUniversity of Southern California
Yin, XiangShanghai Jiao Tong University
Lindemann, LarsUniversity of Southern California
 
11:20-11:40, Paper FrA23.5 Add to My Program
 Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications (I)

Takayama, YoshinariCentraleSupelec
Hashimoto, KazumuneOsaka University
Ohtsuka, ToshiyukiKyoto Univ
 
11:40-12:00, Paper FrA23.6 Add to My Program
 Energy-Constrained Active Exploration under Incremental-Resolution Symbolic Perception (I)

Kamale, DishaLehigh University
Haesaert, SofieEindhoven University of Technology
Vasile, Cristian IoanLehigh University
 
FrA24  Invited Session, Orchid Main 4201AB Add to My Program 
Event-Triggered and Self-Triggered Control III  
 
Chair: Diagne, MamadouUniversity of California San Diego
Co-Chair: Yang, FeishengNorthwestern Polytechnical University
Organizer: Heemels, W.P.M.H.Eindhoven University of Technology
Organizer: Hirche, SandraTechnische Universität München
Organizer: Nowzari, CameronGeorge Mason University
 
10:00-10:20, Paper FrA24.1 Add to My Program
 Data-Driven Self-Triggered Control for Linear Networked Control Systems (I)

Xin, WangBeijing Institute of Technology
Li, YifeiBeijing Institute of Technology
Sun, JianBeijing Institute of Technology
Wang, GangBeijing Institute of Technology
Chen, JieBeijing Institute of Technology
Dou, LihuaBeijing Institute of Technology
 
10:20-10:40, Paper FrA24.2 Add to My Program
 On the Digital Event-Based Implementation of a Glucose Regulator Via Subcutaneous Insulin Infusion (I)

Di Ferdinando, MarioUniversity of L'Aquila
Di Gennaro, StefanoUniversity of L'Aquila
Borri, AlessandroCNR-IASI
Pola, GiordanoUniversity of L'Aquila
Pepe, PierdomenicoUniversity of L' Aquila
 
10:40-11:00, Paper FrA24.3 Add to My Program
 Event-Triggered Control for Hamiltonian-Based Flexible-Joints Robots

Zhang, QiQufu Normal University
Sun, WeiweiQufu Normal University
Ding, LusongQufu Normal University Institute of Automation
Li, YongshuQufu Normal University,School of Engineering
 
11:00-11:20, Paper FrA24.4 Add to My Program
 Self-Triggered Boundary Control of a Class of Reaction-Diffusion PDEs (I)

Rathnayake, BhathiyaStudent (University of California San Diego)
Diagne, MamadouUniversity of California San Diego
 
11:20-11:40, Paper FrA24.5 Add to My Program
 Predefined-Time Distributed Optimal Consensus for Euler–Lagrangian Systems Based on Dynamic Event-Triggered Mechanism (I)

Yang, FeishengNorthwestern Polytechnical University
Liu, JiamingNorthwestern Polytechnical University
Ma, QianNanjing University of Science and Technology
 
11:40-12:00, Paper FrA24.6 Add to My Program
 Event-Triggered Stabilization of Parabolic PDEs by Switching (I)

Kang, WenBeijing Institute of Technology
Fridman, EmiliaTel-Aviv Univ
Zhang, JingBeijing Institute of Technology
Liu, Chuan-XinUniversity of Science and Technology Beijing
 
FrA25  Invited Session, Lotus Junior 4DE Add to My Program 
Navigating Complexity: New Approaches for Discrete Event Systems  
 
Chair: Giua, AlessandroUniversity of Cagliari
Co-Chair: Seatzu, CarlaUniv. of Cagliari
Organizer: Giua, AlessandroUniversity of Cagliari
Organizer: Seatzu, CarlaUniv. of Cagliari
 
10:00-10:20, Paper FrA25.1 Add to My Program
 Transformational Supervisor Localization

Thuijsman, SanderEindhoven University of Technology
Cai, KaiOsaka Metropolitan University
Reniers, MichelEindhoven University of Technology
 
10:20-10:40, Paper FrA25.2 Add to My Program
 Opacity from Observers with a Bounded Memory

Wintenberg, AndrewThe University of Michigan, Ann Arbor
Lafortune, StephaneUniv. of Michigan
Ozay, NecmiyeUniv. of Michigan
 
10:40-11:00, Paper FrA25.3 Add to My Program
 Decentralized State Estimation Via Breadth-First Search through Partially Ordered Observation Sequences (I)

Sun, DajiangXidian University
Hadjicostis, Christoforos N.University of Cyprus
Li, ZhiwuXidian University
 
11:00-11:20, Paper FrA25.4 Add to My Program
 Data-Informativity for Data-Driven Supervisory Control of Discrete-Event Systems (I)

Ohtsuka, TomofumiKyoto University
Cai, KaiOsaka Metropolitan University
Kashima, KenjiKyoto University
 
11:20-11:40, Paper FrA25.5 Add to My Program
 Logical and Probabilistic Aspects of State Estimation for Markovian Systems (I)

Lefebvre, DimitriUniversity Le Havre
Seatzu, CarlaUniv. of Cagliari
Hadjicostis, Christoforos N.University of Cyprus
Giua, AlessandroUniversity of Cagliari
 
11:40-12:00, Paper FrA25.6 Add to My Program
 On the Reachability Space and Deadlock-Freeness in Flexible Nets (I)

Julvez, JorgeUniversity of Zaragoza
 
FrA26  Regular Session, Orchid Main 4301AB Add to My Program 
Autonomous Robots  
 
Chair: Markdahl, JohanUniversity of Luxembourg
Co-Chair: Arslan, OmurEindhoven University of Technology
 
10:00-10:20, Paper FrA26.1 Add to My Program
 Adaptive Headway Motion Control and Motion Prediction for Safe Unicycle Motion Design

Isleyen, AykutEindhoven University of Technology
Van De Wouw, NathanEindhoven University of Technology
Arslan, OmurEindhoven University of Technology
 
10:20-10:40, Paper FrA26.2 Add to My Program
 Min-Time Coverage in Constricted Environments with Arbitrary Guidepath Networks

Kim, Young-InISyE, Georgia Tech
Reveliotis, SpyrosGeorgia Institute of Technology
 
10:40-11:00, Paper FrA26.3 Add to My Program
 Swarm Bug Algorithms for Path Generation in Unknown Environments

Johansson, AlexanderKTH
Markdahl, JohanThe Swedish Defence Research Agency
 
11:00-11:20, Paper FrA26.4 Add to My Program
 Abstraction-Based Motion Coordination Control for Multi-Robot Systems

Pan, Zhuo-RuiDalian University of Technology
Ren, WeiDalian University of Technology
Sun, Xi-MingDalian University of Technology
 
11:20-11:40, Paper FrA26.5 Add to My Program
 Moving Target Estimation and Active Tracking in Multi-Robot Systems

Xu, JieUniversity of California, Riverside
Zhu, PengxiangUniversity of California, Riverside
Zhang, YanyuUniversity of California, Riverside
Ren, WeiUniversity of California, Riverside
 
11:40-12:00, Paper FrA26.6 Add to My Program
 An Integral Sliding–Mode–based Robust Interval Predictive Control for Perturbed Unicycle Mobile Robots

Ríos, HéctorTecnológico Nacional De México/I.T. La Laguna
Mera, ManuelEsime Upt Ipn
Raïssi, TarekConservatoire National Des Arts Et Métiers
Efimov, DenisInria
 
FrB01  Invited Session, Melati Junior 4010A-4111 Add to My Program 
Learning, Optimization, and Game Theory IV  
 
Chair: Zhang, KaiqingUniversity of Maryland
Co-Chair: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Organizer: Doan, Thinh T.Virginia Tech
Organizer: Sayin, Muhammed OmerBilkent University
Organizer: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Organizer: Zhang, KaiqingUniversity of Maryland
 
13:30-13:50, Paper FrB01.1 Add to My Program
 Lyapunov-Based Long Short-Term Memory (Lb-LSTM) Neural Network-Based Control

Griffis, EmilyUniversity of Florida
Patil, Omkar SudhirUniversity of Florida
Bell, Zachary I.Air Force
Dixon, Warren E.University of Florida
 
13:50-14:10, Paper FrB01.2 Add to My Program
 High-Confidence Barrier-Certified Control Design Using Goal-Oriented Scenario Optimization and Experience Replay Model Learning (I)

Marvi, ZahraUniversity of Minnesota
Kiumarsi, BahareMichigan State University
Modares, HamidrezaMichigan State University
 
14:10-14:30, Paper FrB01.3 Add to My Program
 Quality of Non-Convergent Best Response Processes in Multi-Agent Systems through Sink Equilibria (I)

Konda, RohitUC Santa Barbara
Chandan, RahulAmazon.com
Marden, Jason R.University of California, Santa Barbara
 
14:30-14:50, Paper FrB01.4 Add to My Program
 Asynchronous Distributed Optimization Via ADMM with Efficient Communication (I)

Rikos, Apostolos I.KTH Royal Institute of Technology
Jiang, WeiAalto University, Finland
Charalambous, ThemistoklisUniversity of Cyprus
Johansson, Karl H.KTH Royal Institute of Technology
 
14:50-15:10, Paper FrB01.5 Add to My Program
 Boosting Exploration in Actor-Critic Algorithms by Incentivizing Plausible Novel States (I)

Banerjee, ChayanQueensland University of Technology
Chen, ZhiyongThe University of Newcastle
Noman, NasimulThe University of Newcastle
 
15:10-15:30, Paper FrB01.6 Add to My Program
 Risk-Sensitive RL Using Sampling-Based Expectation-Maximization (I)

Noorani, ErfaunUniversity of Maryland College Park
Baras, John S.University of Maryland
Johansson, Karl H.KTH Royal Institute of Technology
 
FrB02  Invited Session, Orchid Main 4202-4303 Add to My Program 
Data-Driven Verification and Control of Cyber-Physical Systems II  
 
Chair: Jungers, Raphaël M.University of Louvain
Co-Chair: Lavaei, AbolfazlNewcastle University
Organizer: Lavaei, AbolfazlNewcastle University
Organizer: Jungers, Raphaël M.University of Louvain
Organizer: Abate, AlessandroUniversity of Oxford
 
13:30-13:50, Paper FrB02.1 Add to My Program
 Data-Driven Synthesis of Safety Controllers Via Multiple Control Barrier Certificates

Nejati, AmenehTechnical University of Munich (TUM)
Zamani, MajidUniversity of Colorado Boulder
 
13:50-14:10, Paper FrB02.2 Add to My Program
 Reachability Analysis of ARMAX Models (I)

Lützow, LauraTechnical University Munich
Althoff, MatthiasTechnische Universität München
 
14:10-14:30, Paper FrB02.3 Add to My Program
 Verifying the Unknown: Correct-By-Design Control Synthesis for Networks of Stochastic Uncertain Systems (I)

Schön, OliverNewcastle University
van Huijgevoort, BirgitEindhoven University of Technology
Haesaert, SofieEindhoven University of Technology
Soudjani, SadeghNewcastle University
 
14:30-14:50, Paper FrB02.4 Add to My Program
 Data-Driven Reachability Analysis of Lipschitz Nonlinear Systems Via Support Vector Data Description (I)

Wang, ZhemingZhejiang University of Technology
Chen, BoZhejiang University of Technology
Jungers, Raphaël M.University of Louvain
Yu, LiZhejiang University of Technology
 
14:50-15:10, Paper FrB02.5 Add to My Program
 Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet (I)

Liu, WenliangBoston University
Xiao, WeiMassachusetts Institute of Technology
Belta, CalinBoston University
 
15:10-15:30, Paper FrB02.6 Add to My Program
 Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers (I)

Doering, AndreasTechnical University of Munich, University of California at Berk
Wiggert, MariusUC Berkeley
Krasowski, HannaTechnical University of Munich
Doshi, MananMassachusetts Institute of Technology
Lermusiaux, Pierre F. J.Massachusetts Institute of Technology
Tomlin, Claire J.UC Berkeley
 
FrB03  Invited Session, Orchid Main 4204-4305 Add to My Program 
Cyber-Physical Systems: Safety, Security, and Reliability  
 
Chair: Sadabadi, Mahdieh S.Queen Mary University of London
Co-Chair: Escudero, CédricINSA Lyon, Laboratoire Ampère
Organizer: Sadabadi, Mahdieh S.University of Manchester
Organizer: Escudero, CédricINSA Lyon, Laboratoire Ampère
Organizer: Selvi, DanielaUniversità Di Pisa
Organizer: Soudjani, SadeghNewcastle University
Organizer: Murguia, CarlosEindhoven University of Technology
Organizer: Chong, MichelleEindhoven University of Technology
Organizer: Ferrari, Riccardo M.G.Delft University of Technology
Organizer: Sasahara, HampeiTokyo Institute of Technology
Organizer: Zhu, QuanyanNew York University
 
13:30-13:50, Paper FrB03.1 Add to My Program
 Robust and Scalable Game-Theoretic Security Investment Methods for Voltage Stability of Power Systems (I)

An, LuNorth Carolina State University
Shukla, PratishthaOak Ridge National Lab
Chakrabortty, AranyaNorth Carolina State University
Duel-Hallen, AlexandraNorth Carolina State University
 
13:50-14:10, Paper FrB03.2 Add to My Program
 The Security Requirement to Prevent Zero Dynamics Attacks and Perfectly Undetectable Cyber-Attacks in Cyber-Physical Systems (I)

Taheri, MahdiConcordia University
Khorasani, KhashayarConcordia University
Meskin, NaderQatar University
 
14:10-14:30, Paper FrB03.3 Add to My Program
 Secure State Estimation with Asynchronous Measurements against Malicious Measurement-Data and Time-Stamp Manipulation (I)

Li, ZishuoTsinghua University
Nguyen, Anh TungUppsala University
Teixeira, André M. H.Uppsala University
Mo, YilinTsinghua University
Johansson, Karl H.KTH Royal Institute of Technology
 
14:30-14:50, Paper FrB03.4 Add to My Program
 Set-Based Anomaly Detector and Stealthy Attack Impact Using Constrained Zonotopes (I)

Wagner, JonasUniversity of Texas at Dallas
Kogel, TannerUniversity of Texas at Dallas
Ruths, JustinUniversity of Texas at Dallas
 
14:50-15:10, Paper FrB03.5 Add to My Program
 Electrical Fault Localisation Over a Distributed Parameter Transmission Line (I)

Selvaratnam, DanielKTH Royal Institute of Technology
Das, AmritamEindhoven University of Technology
Sandberg, HenrikKTH Royal Institute of Technology
 
15:10-15:30, Paper FrB03.6 Add to My Program
 Adversarial Attacks to Direct Data-Driven Control for Destabilization (I)

Sasahara, HampeiTokyo Institute of Technology
 
FrB04  Regular Session, Simpor Junior 4913 Add to My Program 
Autonomous Vehicles III  
 
Chair: Malikopoulos, Andreas A.University of Delaware
Co-Chair: Oguri, KenshiroPurdue University
 
13:30-13:50, Paper FrB04.1 Add to My Program
 NMPC Strategy for Safe Robot Navigation in Unknown Environments Using Polynomial Zonotopes

Baptista Pereira Nascimento, IuroFederal University of Minas Gerais
Rego, BrennerFederal University of Minas Gerais
Pimenta, Luciano C. A.Universidade Federal De Minas Gerais
Raffo, Guilherme ViannaFederal University of Minas Gerais
 
13:50-14:10, Paper FrB04.2 Add to My Program
 A Hierarchical Approach to Optimal Flow-Based Routing and Coordination of Connected and Automated Vehicles

Bang, HeeseungUniversity of Delaware
Malikopoulos, Andreas A.Cornell University
 
14:10-14:30, Paper FrB04.3 Add to My Program
 Multi-Occlusions Inference from Multiple Social Vehicles

Zhao, XuheTongji University
Zhang, ChaojieTongji University
Wang, JunTongji University
 
14:30-14:50, Paper FrB04.4 Add to My Program
 Robust Collision Avoidance of Quadric and Polygonal Surfaces Moving in Planar Environments

Dhal, KashishThe University of Texas at Arlington
Kashyap, AbhishekUniversity of Texas at Arlington
Chakravarthy, AnimeshUniversity of Texas at Arlington
 
14:50-15:10, Paper FrB04.5 Add to My Program
 Capturability of the Pulsed Guidance Law Based on Differential Game Theory

Lu, YutingBeihang University
Yu, YangBeihang University
Zhao, QilunBeijing Institute of Electronic System Engineering
Han, TuoBeihang University
Hu, QingleiBeihang University
Li, DongyuBeihang University
 
15:10-15:30, Paper FrB04.6 Add to My Program
 Smooth Indirect Solution Method for State-Constrained Optimal Control Problems with Nonlinear Control-Affine Systems

Oguri, KenshiroPurdue University
 
FrB05  Invited Session, Simpor Junior 4912 Add to My Program 
Learning and Decision-Making in Multi-Agent Systems  
 
Chair: Anderson, JamesColumbia University
Co-Chair: Mitra, AritraUniversity of Pennsylvania
Organizer: Anderson, JamesColumbia University
Organizer: Mitra, AritraUniversity of Pennsylvania
Organizer: Pappas, George J.University of Pennsylvania
 
13:30-13:50, Paper FrB05.1 Add to My Program
 Multi-Agent Reinforcement Learning for Resource Allocation in Large-Scale Robotic Warehouse Sortation Centers (I)

Shen, YiDuke University
McClosky, BenjaminAmazon Robotics
Durham, Joseph W.Kiva Systems
Zavlanos, Michael M.Duke University
 
13:50-14:10, Paper FrB05.2 Add to My Program
 Performance Bounds for Policy-Based Reinforcement Learning Methods in Zero-Sum Markov Games with Linear Function Approximation (I)

Winnicki, AnnaUniversity of Illinois at Urbana Champaign
Srikant, RUniv of Illinois, Urbana-Champaign
 
14:10-14:30, Paper FrB05.3 Add to My Program
 Motion Planning for the Estimation of Functions (I)

Raghavan, AneeshKTH Royal Insitute of Technology
Sartori, GiacomoUNIPD
Johansson, Karl H.KTH Royal Institute of Technology
 
14:30-14:50, Paper FrB05.4 Add to My Program
 Learning Agent Interactions from Density Evolution in 3D Regions with Obstacles (I)

Tirumalai, AmoolyaUniversity of Maryland, Institute for Systems Research
Mavridis, ChristosUniversity of Maryland, College Park
Baras, John S.University of Maryland
 
14:50-15:10, Paper FrB05.5 Add to My Program
 Learning Personalized Models with Clustered System Identification (I)

Toso, Leonardo FelipeColumbia University
Wang, HanColumbia University
Anderson, JamesColumbia University
 
15:10-15:30, Paper FrB05.6 Add to My Program
 Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning through Shared Scheduling Protocol (I)

Ingebrand, TylerUT Austin
Smith, SophiaThe University of Texas at Austin
Topcu, UfukThe University of Texas at Austin
 
FrB06  Invited Session, Simpor Junior 4911 Add to My Program 
Estimation and Control of Quantum Systems  
 
Chair: Dong, DaoyiUniversity of New South Wales
Co-Chair: Amini, Nina H.CNRS, L2S, CentraleSupelec
Organizer: Dong, DaoyiAustralian National University
Organizer: Amini, Nina H.CNRS, L2S, CentraleSupelec
Organizer: Wang, YuanlongChinese Academy of Sciences
 
13:30-13:50, Paper FrB06.1 Add to My Program
 Two-Stage Solution for Ancilla-Assisted Quantum Process Tomography: Error Analysis and Optimal Design (I)

Xiao, ShuixinShanghai Jiao Tong University
Wang, YuanlongChinese Academy of Sciences
Dong, DaoyiUniversity of New South Wales
Zhang, JunShanghai Jiao Tong University
 
13:50-14:10, Paper FrB06.2 Add to My Program
 Analyzing and Unifying Robustness Measures for Excitation Transfer Control in Spin Networks

O'Neil, Sean PatrickUniversity of Southern California
Khalid, IrtazaCardiff University
Rompokos, AthanasiosUniversity of Southern California
Weidner, Carrie AnnUniversity of Bristol
Langbein, Frank C.Cardiff University
Schirmer, SophieSwansea University
Jonckheere, EdmondUniversity of Southern California
 
14:10-14:30, Paper FrB06.3 Add to My Program
 On the Mean-Field Belavkin Filtering Equation

Chalal, SofianeCentraleSupelec/Université Paris-Saclay
Amini, Nina H.CNRS, L2S, CentraleSupelec
Guo, GaoyueMICS/CentraleSupelec
 
14:30-14:50, Paper FrB06.4 Add to My Program
 Quantum Optimal Control for the Shaping of Single Photons (I)

Dong, XueTsinghua University
Wu, Re-BingTsinghua University
 
14:50-15:10, Paper FrB06.5 Add to My Program
 On the Robustness of Stability for Quantum Stochastic Systems (I)

Liang, WeichaoCentraleSupelec, University of Paris Saclay
Ohki, KentaroKyoto University
Ticozzi, FrancescoUniversità Di Padova
 
15:10-15:30, Paper FrB06.6 Add to My Program
 Heisenberg Formulation of Adiabatic Elimination for Open Quantum Systems with Two TimeScales (I)

Le Régent, Francçois-MarieAlice&Bob
Rouchon, PierreMines Paris PSL
 
FrB07  Regular Session, Simpor Junior 4813 Add to My Program 
Game Theory VI  
 
Chair: Wang, Bing-ChangShandong University
Co-Chair: Fu, JieUniversity of Florida
 
13:30-13:50, Paper FrB07.1 Add to My Program
 Open-Loop Saddle Points for Irregular Linear-Quadratic Two-Person Zero-Sum Games (I)

Liang, YongShandong University
Wang, Bing-ChangShandong University
Xu, JuanjuanShandong University
Zhang, HuanshuiShandong University of Science and Technology
 
13:50-14:10, Paper FrB07.2 Add to My Program
 Linear Convergence in Time-Varying Generalized Nash Equilibrium Problems

Bianchi, MattiaETH Zurich
Benenati, EmilioTechnische Universiteit Delft
Grammatico, SergioDelft Univ. of Tech
 
14:10-14:30, Paper FrB07.3 Add to My Program
 Multi-Agent Reach-Avoid Games: Two Attackers versus One Defender and Mixed Integer Programming

Hu, HanyangSimon Fraser University
Bui, Nhat MinhSimon Fraser University
Chen, MoSimon Fraser University
 
14:30-14:50, Paper FrB07.4 Add to My Program
 Games for Efficient Supervisor Synthesis

Jha, Prabhat KumarChalmers University of Technology
Hausmann, DanielGothenburg University
Piterman, NirUniversity of Gothenburg
 
14:50-15:10, Paper FrB07.5 Add to My Program
 Synthesis of Opacity-Enforcing Winning Strategies against Colluded Opponent

Shi, ChongyangUniversity of Florida
Kulkarni, AbhishekUniversity of Florida at Gainesville
Rahmani, HazharUniversity of Florida
Fu, JieUniversity of Florida
 
15:10-15:30, Paper FrB07.6 Add to My Program
 A Stackelberg Viral Marketing Design for Two Competing Players

Lindamulage de silva, OlivierUniversité De Lorraine, CRAN
Satheeskumar Varma, VineethCNRS
Cao, MingUniversity of Groningen
Morarescu, Irinel-ConstantinCRAN, CNRS, Université De Lorraine
Lasaulce, SamsonCNRS
 
FrB08  Regular Session, Simpor Junior 4812 Add to My Program 
Optimization Algorithms VI  
 
Chair: Daoutidis, ProdromosUniv. of Minnesota
Co-Chair: Ahn, Hyo-SungGwangju Institute of Science and Technology (GIST)
 
13:30-13:50, Paper FrB08.1 Add to My Program
 Preconditioning Matrix Synthesis for a Projected Gradient Method for Solving Constrained Linear-Quadratic Optimal Control Problems

Heuts, Yannick (Y.J.J.)Eindhoven University of Technology
Donkers, M.C.F.Eindhoven University of Technology
 
13:50-14:10, Paper FrB08.2 Add to My Program
 Distributed Least Square Approach for Solving a Multiagent Linear Algebraic Equation

Pham, Viet HoangGIST
Ahn, Hyo-SungGwangju Institute of Science and Technology (GIST)
 
14:10-14:30, Paper FrB08.3 Add to My Program
 On Receding-Horizon Approximation in Time-Varying Optimal Control

Sun, JintaoUniversity of Melbourne
Cantoni, MichaelUniversity of Melbourne
 
14:30-14:50, Paper FrB08.4 Add to My Program
 Exact Noise-Robust Distributed Gradient-Tracking Algorithm for Constraint-Coupled Resource Allocation Problems (I)

Wu, WenwenShanghai Jiao Tong University
Zhu, ShanyingShanghai Jiao Tong University
Liu, ShuaiShandong University
Guan, Xin-PingShanghai Jiao Tong University
 
14:50-15:10, Paper FrB08.5 Add to My Program
 Optimal Design of Control-Lyapunov Functions by Semi-Infinite Stochastic Programming (I)

Tang, WentaoNC State University
Daoutidis, ProdromosUniv. of Minnesota
 
15:10-15:30, Paper FrB08.6 Add to My Program
 Data-Driven and Online Estimation of Linear Sensitivity Distribution Factors: A Low-Rank Approach

Ospina, Ana M.University of Colorado Boulder
Dall'Anese, EmilianoUniversity of Colorado Boulder
 
FrB09  Regular Session, Simpor Junior 4811 Add to My Program 
Optimization III  
 
Chair: Pu, YeThe University of Melbourne
Co-Chair: Dai, RanPurdue University
 
13:30-13:50, Paper FrB09.1 Add to My Program
 Reinforcement Learning-Guided Quadratically Constrained Quadratic Programming for Enhanced Convergence and Optimality

Chaoying, PeiPurdue University
Xu, ZhiPurdue University
You, SixiongPurdue University
Sun, JeffreyPurdue University
Dai, RanPurdue University
 
13:50-14:10, Paper FrB09.2 Add to My Program
 Ergodic Convergence Results for the Arrow–Hurwicz Differential System

Niederlaender, SimonSiemens AG
 
14:10-14:30, Paper FrB09.3 Add to My Program
 Multivariate Polynomial Optimization in Complex Variables Is a (Rectangular) Multiparameter Eigenvalue Problem

Vermeersch, ChristofKU Leuven
Lagauw, SibrenKU Leuven
De Moor, Bart L.R.Katholieke Universiteit Leuven
 
14:30-14:50, Paper FrB09.4 Add to My Program
 Linearized ADMM for Nonsmooth Nonconvex Optimization with Nonlinear Equality Constraints

El Bourkhissi, LahcenUniversity Polytechnic of Bucharest
Necoara, IonUniversity Politehnica Bucharest and Institute of Mathematical S
Patrinos, PanagiotisKU Leuven
 
14:50-15:10, Paper FrB09.5 Add to My Program
 Tight Lower Bounds on the Convergence Rate of Primal-Dual Dynamics for Equality Constrained Convex Problems

Ozaslan, Ibrahim KurbanUniversity of Southern California
Jovanovic, Mihailo R.University of Southern California
 
15:10-15:30, Paper FrB09.6 Add to My Program
 Second-Order Properties of Noisy Distributed Gradient Descent

Qin, LeiThe University of Melbourne
Cantoni, MichaelUniversity of Melbourne
Pu, YeThe University of Melbourne
 
FrB10  Regular Session, Roselle Junior 4713 Add to My Program 
Learning I  
 
Chair: Zeng, ShenWashington University in St. Louis
Co-Chair: Siami, MiladNortheastern University
 
13:30-13:50, Paper FrB10.1 Add to My Program
 An Iterative Approach to Safe Learning in Unknown Constrained Environments

Vu, MinhWashington University in St. Louis
Zeng, ShenWashington University in St. Louis
 
13:50-14:10, Paper FrB10.2 Add to My Program
 Optimal Containment Control of Nonlinear MASs: A Time-Aggregation-Based Policy Iteration Algorithm

Shi, XiongtaoHarbin Institute of Technology (Shenzhen)
Li, YanjieHarbin Institue of Technology Shenzhen Graduate School
Du, ChenglongCentral South University
 
14:10-14:30, Paper FrB10.3 Add to My Program
 Multi-Task System Identification of Similar Linear Time-Invariant Dynamical Systems

Chen, YitingUniversity of Colorado Boulder
Ospina, Ana M.University of Colorado Boulder
Pasqualetti, FabioUniversity of California, Riverside
Dall'Anese, EmilianoUniversity of Colorado Boulder
 
14:30-14:50, Paper FrB10.4 Add to My Program
 Derivative Feedback Control Using Reinforcement Learning

Zaheer, Muhammad HamadUniversity of New Hampshire
Yoon, Se Young (Pablo)University of New Hampshire
Rizvi, Syed Ali AsadTennessee Technological University
 
14:50-15:10, Paper FrB10.5 Add to My Program
 Dynamics and Perturbations of Overparameterized Linear Neural Networks

Castello Branco de Oliveira, ArthurNortheastern University
Siami, MiladNortheastern University
Sontag, EduardoNortheastern University
 
15:10-15:30, Paper FrB10.6 Add to My Program
 Convergence of Gradient-Based MAML in LQR

Musavi, NeginUniversity of Illinois Urbana Champaign
Dullerud, Geir E.Univ of Illinois, Urbana-Champaign
 
FrB11  Regular Session, Roselle Junior 4712 Add to My Program 
Large-Scale Systems II  
 
Chair: Tegling, EmmaLund University
Co-Chair: Stefansson, ElisKTH Royal Institute of Technology
 
13:30-13:50, Paper FrB11.1 Add to My Program
 Multi-UAV Trajectory Planning Problem Using the Difference of Convex Function Programming

Ngo, Anh PhuongNorth Carolina A&T State University
Thomas, ChristanLockheed Martin Corporation
Karimoddini, AliNorth Carolina A&T State University
Nguyen, HieuNorth Carolina Agricultural and Technical State University
 
13:50-14:10, Paper FrB11.2 Add to My Program
 New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series

Bal dit Sollier, LouisENS Paris-Saclay, EDF R&D
Ourghanlian, AlainEdf R&d Chatou
Amari, SaïdLURPA - Ecole Normale Paris Saclay
 
14:10-14:30, Paper FrB11.3 Add to My Program
 Efficient and Reconfigurable Optimal Planning in Large-Scale Systems Using Hierarchical Finite State Machines (I)

Stefansson, ElisKTH Royal Institute of Technology
Johansson, Karl H.KTH Royal Institute of Technology
 
14:30-14:50, Paper FrB11.4 Add to My Program
 A Closed-Loop Design for Scalable High-Order Consensus

Hansson, JonasLund University
Tegling, EmmaLund University
 
14:50-15:10, Paper FrB11.5 Add to My Program
 Controlling Identical Linear Multi-Agent Systems Over Directed Graphs

Zaupa, NicolaLAAS, CNRS
Zaccarian, LucaLAAS-CNRS
Tarbouriech, SophieLAAS-CNRS
Queinnec, IsabelleLAAS-CNRS
Giordano, GiuliaUniversity of Trento
 
15:10-15:30, Paper FrB11.6 Add to My Program
 Quantification of Distributionally Robust Risk of Cascade of Failures in Platoon of Vehicles (I)

Pandey, VivekLehigh University
Liu, GuangyiLehigh University
Amini, ArashThe University of Texas at Austin
Motee, NaderLehigh University
 
FrB12  Regular Session, Roselle Junior 4711 Add to My Program 
Distributed Control II  
 
Chair: Watson, JeremyUniversity of Canterbury
Co-Chair: van Dijk, StefanTechnical University of Eindhoven
 
13:30-13:50, Paper FrB12.1 Add to My Program
 State Aggregation for Distributed Value Iteration in Dynamic Programming

Vertovec, NikolausUniversity of Oxford
Margellos, KostasUniversity of Oxford
 
13:50-14:10, Paper FrB12.2 Add to My Program
 Real-Time Deep-Learning-Driven Parallel MPC

Kohút, RomanSlovak University of Technology in Bratislava
Pavlovičová, ErikaSlovak University of Technology in Bratislava
Fedorová, KristínaSlovak University of Technology in Bratislava
Oravec, JurajSlovak University of Technology in Bratislava
Kvasnica, MichalSlovak University of Technology in Bratislava
 
14:10-14:30, Paper FrB12.3 Add to My Program
 Local Input-To-State Stability for Consensus in the Presence of Intermittent Communication and Input Saturation

Silva, Thales C.University of Pennsylvania
Hsieh, M. AniUniversity of Pennsylvania
 
14:30-14:50, Paper FrB12.4 Add to My Program
 Decentralized Design for LQ Consensus in Multi-Agent Systems

van Dijk, StefanTechnical University of Eindhoven
Chanfreut, PaulaEindhoven University of Technology
Heemels, W.P.M.H.Eindhoven University of Technology
 
14:50-15:10, Paper FrB12.5 Add to My Program
 Linear Quadratic Leader-Following Consensus of Multi-Agent Systems: A Decentralized Computation and Distributed Information Fusion Strategy

Ren, YunxiaoPeking University
Qian, JiachenPeking University
Duan, ZhishengPeking University
 
15:10-15:30, Paper FrB12.6 Add to My Program
 Discrete-Time Distributed Optimization for Linear Uncertain Multi-Agent Systems

Liu, TongNew York University
Bin, MichelangeloUniversity of Bologna
Notarnicola, IvanoUniversity of Bologna
Parisini, ThomasImperial College & Univ. of Trieste
Jiang, Zhong-PingNew York University
 
FrB13  Regular Session, Roselle Junior 4613 Add to My Program 
Networked Systems  
 
Chair: Zhang, YuanSchool of Automation, Beijing Institute of Technology
Co-Chair: Hurst, WinstonUniversity of California, Santa Barbara
 
13:30-13:50, Paper FrB13.1 Add to My Program
 Stability of Non-Cooperative Load Balancing with Time-Varying Latency

Giuseppi, AlessandroUniversity of Rome "La Sapienza"
Menegatti, DaniloDIAG, Università Degli Studi Di Roma La Sapienz
Pietrabissa, AntonioUniversity of Rome "La Sapienza"
 
13:50-14:10, Paper FrB13.2 Add to My Program
 Optimal Dynamic Trajectories for UAVs in Mobility-Enabled Relay System

Hurst, WinstonUniversity of California, Santa Barbara
Mostofi, YasaminUniv. of California Santa Barbara
 
14:10-14:30, Paper FrB13.3 Add to My Program
 Towards Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach

Tomar, Mahendra SinghBITS Pilani K K Birla Goa Campus
Zamani, MajidUniversity of Colorado Boulder
 
14:30-14:50, Paper FrB13.4 Add to My Program
 Faster Consensus Via a Sparser Controller

Ballotta, LucaUniversity of Padova
Gupta, VijayPurdue University
 
14:50-15:10, Paper FrB13.5 Add to My Program
 Observability Blocking for Functional Privacy of Linear Dynamic Networks

Zhang, YuanSchool of Automation, Beijing Institute of Technology
Cheng, RanboBeijing Institute of Technology
Xia, YuanqingBeijing Institute of Technology
 
15:10-15:30, Paper FrB13.6 Add to My Program
 Differentially Private Stochastic Convex Optimization for Network Routing Applications

Tsao, MatthewStanford University
Gopalakrishnan, KarthikStanford University
Yang, KaidiNational University of Singapore
Pavone, MarcoStanford University
 
FrB14  Regular Session, Roselle Junior 4612 Add to My Program 
Observers for Nonlinear Systems I  
 
Chair: Yong, Sze ZhengNortheastern University
Co-Chair: Postoyan, RomainCNRS, CRAN, Université De Lorraine
 
13:30-13:50, Paper FrB14.1 Add to My Program
 A Note on Observability of Nonlinear Discrete-Time Systems

Kaldmäe, ArvoTallinn University of Technology
Kotta, ÜlleTallinn University of Technology
 
13:50-14:10, Paper FrB14.2 Add to My Program
 An Adaptive Observer for Time-Varying Nonlinear Systems - Application to a Crop Irrigation Model

Dadjo, Mahugnon GildasMISTEA, Univ. Montpellier, INRAE, Institut Agro and Inria, Univ
Efimov, DenisInria
Harmand, JéromeINRA
Rapaport, AlainINRAE & Univ. Montpellier
Ushirobira, RosaneInria
 
14:10-14:30, Paper FrB14.3 Add to My Program
 A Masking Protocol for Private Communication and Attack Detection in Nonlinear Observers

Cecilia, AndreuUniversitat Politècnica De Catalunya
Astolfi, DanieleCnrs - Lagepp
Casadei, GiacomoEcole Centrale Lyon
Costa-Castelló, RamonUniversitat Politècnica De Catalunya (UPC)
Nesic, DraganUniversity of Melbourne
 
14:30-14:50, Paper FrB14.4 Add to My Program
 Design of a Nonlinear Observer for a Class of Locally Lipschitz Systems by Using Input-To-State Stability: An LMI Approach

Mohite, ShivarajPhD Student, University of Lorraine
Alma, MarouaneCRAN Lorraine University
Zemouche, AliCRAN UMR CNRS 7039 & Inria: EPI-DISCO
 
14:50-15:10, Paper FrB14.5 Add to My Program
 Interval Observers for Hybrid Dynamical Systems with Known Jump Times

Pati, TarunNortheastern University
Khajenejad, MohammadUniversity of California, San Diego
Daddala, Sai PraveenArizona State University
Sanfelice, Ricardo G.University of California at Santa Cruz
Yong, Sze ZhengNortheastern University
 
15:10-15:30, Paper FrB14.6 Add to My Program
 State Estimation for Enhanced Low Dimensional Electrochemical Models of Lithium-Ion Batteries

Khalil, MiraUniversité De Lorraine
Postoyan, RomainCNRS, CRAN, Université De Lorraine
Raël, StéphaneUniversité De Lorraine
 
FrB15  Regular Session, Roselle Junior 4611 Add to My Program 
Resilient Control Systems  
 
Chair: Wen, ChangyunNanyang Tech. Univ
Co-Chair: Mallmann-Trenn, FrederikKing's College London
 
13:30-13:50, Paper FrB15.1 Add to My Program
 Resilient Temporal Logic Planning in the Presence of Robot Failures

Kalluraya, SamarthWashington University in St. Louis
Pappas, George J.University of Pennsylvania
Kantaros, YiannisWashington University in St. Louis
 
13:50-14:10, Paper FrB15.2 Add to My Program
 Reinforcement Learning-Based Optimal Control and Software Rejuvenation for Safe and Efficient UAV Navigation

Chen, AngelaCarnegie Mellon University
Mitsopoulos, KonstantinosInstitute for Human and Machine Cognition
Romagnoli, RaffaeleCarnegie Mellon University
 
14:10-14:30, Paper FrB15.3 Add to My Program
 Resilient Containment Control of Multi-Agent Networks in Adversarial Environment

Kuo, Chan-YuanPurdue University
Du, BinNanjing University of Aeronautics and Astronautics
Sun, DengfengPurdue University
 
14:30-14:50, Paper FrB15.4 Add to My Program
 Resilient Synchronization of Networked Euler-Lagrangian Systems in Adversarial Environments

Chen, HongjianNanyang Technological University
Li, XiaoleiYanshan University
Wen, ChangyunNanyang Tech. Univ
Fang, XuKTH Royal Institute of Technology
 
14:50-15:10, Paper FrB15.5 Add to My Program
 Dynamic Crowd Vetting: Collaborative Detection of Malicious Robots in Dynamic Communication Networks

Cavorsi, MatthewHarvard University
Mallmann-Trenn, FrederikKing's College London
Saldana, DavidLehigh University
Gil, StephanieHarvard University
 
15:10-15:30, Paper FrB15.6 Add to My Program
 A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems (I)

Niu, LuyaoUniversity of Washington
Maruf, Abdullah AlUniversity of Washington
Clark, AndrewWashington University in St. Louis
Mertoguno, SukarnoGeorgia Institute of Technology
Poovendran, RadhaUniversity of Washington
 
FrB16  Regular Session, Peony Junior 4512 Add to My Program 
Emerging Control Applications  
 
Chair: Prandini, MariaPolitecnico Di Milano
Co-Chair: Karlsson, NiklasAmazon
 
13:30-13:50, Paper FrB16.1 Add to My Program
 Ancillary Services Provision Via Aggregation: Joint Power Flexibility Assessment and Disaggregation Policy Design

Zamudio, DanielPolitecnico Di Milano
Falsone, AlessandroPolitecnico Di Milano
Bianchi, FedericoRicerca Sul Settore Energetico, RSE SpA
Prandini, MariaPolitecnico Di Milano
 
13:50-14:10, Paper FrB16.2 Add to My Program
 Feedback-Control Based Hierarchical Multi-Constraint Ad Campaign Optimization

Karlsson, NiklasAmazon
 
14:10-14:30, Paper FrB16.3 Add to My Program
 Entropy for Optimal Control on a Simplex with an Application to Behavioral Nudging

Al Ahdab, MohamadAalborg University
Knudsen, TorbenAalborg University, Denmark
Stoustrup, JakobAalborg University
Leth, JohnAalborg University
 
14:30-14:50, Paper FrB16.4 Add to My Program
 Power Purchase Agreements with Renewables: Optimal Timing and Design

Gao, ZuguangUniversity of California, Irvine
Sunar, NurUniversity of North Carolina at Chapel Hill
Birge, JohnUniversity of Chicago
 
14:50-15:10, Paper FrB16.5 Add to My Program
 An Error-Triggered Adaptive Model Reduction and Soil Moisture Estimation for Agro-Hydrological System

Debnath, SarupaUniversity of Alberta
Sahoo, SoumyaUniversity of Alberta
Agyeman, BernardUniversity of Alberta
Yin, XunyuanNanyang Technological University
Liu, JinfengUniversity of Alberta
 
15:10-15:30, Paper FrB16.6 Add to My Program
 Who Gets the Whip? How Supplier Diversification Influences Bullwhip Effect in a Supply Chain

Burrows, TylerBrigham Young University
Hamilton, MaxwellBrigham Young University
Grimsman, DavidBrigham Young University
 
FrB17  Regular Session, Peony Junior 4511 Add to My Program 
Statistical Learning II  
 
Chair: Qin, S. JoeCity University of Hong Kong
Co-Chair: Farokhi, FarhadThe University of Melbourne
 
13:30-13:50, Paper FrB17.1 Add to My Program
 Distributionally-Robust Optimization with Noisy Data for Discrete Uncertainties Using Total Variation Distance

Farokhi, FarhadThe University of Melbourne
 
13:50-14:10, Paper FrB17.2 Add to My Program
 Robust Independence Tests with Finite Sample Guarantees for Synchronous Stochastic Linear Systems

Tamás, AmbrusSZTAKI
Bálint, Dániel ÁgostonIndependent Researcher
Csáji, Balázs Cs.SZTAKI
 
14:10-14:30, Paper FrB17.3 Add to My Program
 Towards Dynamic Causal Discovery with Rare Events: A Nonparametric Conditional Independence Test

Chiu, Chih-YuanUniversity of California, Berkeley
Kulkarni, KshitijUniversity of California, Berkeley
Sastry, ShankarUniv. of California at Berkeley
 
14:30-14:50, Paper FrB17.4 Add to My Program
 Distributionally Robust Stability of Payoff Allocations in Stochastic Coalitional Games

Pantazis, GeorgeTU Delft
Franci, BarbaraMaastricht University
Grammatico, SergioDelft University of Technology
Margellos, KostasUniversity of Oxford
 
14:50-15:10, Paper FrB17.5 Add to My Program
 Probabilistic Reduced-Dimensional Vector Autoregressive Modeling for Dynamics Prediction and Reconstruction with Oblique Projections

Mo, YanfangCity University of Hong Kong
Yu, JiaxinCityU of Hong Kong
Qin, S. JoeLingnan University
 
15:10-15:30, Paper FrB17.6 Add to My Program
 SIS Epidemic Propagation under Strategic Non-Myopic Protection: A Dynamic Population Game Approach

Maitra, UrmeeIndian Institute of Technology, Kharagpur
Hota, Ashish RanjanIndian Institute of Technology (IIT), Kharagpur
Srivastava, VaibhavMichigan State University
 
FrB18  Regular Session, Peony Junior 4412 Add to My Program 
Stability of Nonlinear Systems IV  
 
Chair: Martins, Nuno C.University of Maryland
Co-Chair: Murguia, CarlosEindhoven University of Technology
 
13:30-13:50, Paper FrB18.1 Add to My Program
 A Submodular Energy Function Approach to Controlled Islanding with Provable Stability

Cheng, ShiyuWashington University in St. Louis
Niu, LuyaoUniversity of Washington
Clark, AndrewWashington University in St. Louis
Poovendran, RadhaUniversity of Washington
 
13:50-14:10, Paper FrB18.2 Add to My Program
 Homogeneous Finite/Fixed-Time Stabilization with Quantization

Zhou, YuINRIA
Polyakov, AndreyInria, Univ. Lille
Zheng, GangINRIA
Ping, XubinXidian University
 
14:10-14:30, Paper FrB18.3 Add to My Program
 Secondary Controller Design for the Safety of Nonlinear Systems Via Sum-Of-Squares Programming

Lin, YankaiEindhoven University of Tecnology
Chong, MichelleEindhoven University of Technology
Murguia, CarlosEindhoven University of Technology
 
14:30-14:50, Paper FrB18.4 Add to My Program
 Do 0-GAS-Guaranteeing Impulse Sequences Preserve ISS or iISS Properties? Not Always

Russo, AntonioUniversità Degli Studi Della Campania Luigi Vanvitelli
Liu, ShenyuBeijing Institute of Technology
 
14:50-15:10, Paper FrB18.5 Add to My Program
 Counter-Adversarial Learning with Inverse Unscented Kalman Filter

Singh, HimaliIndian Institute of Technology Delhi
Mishra, Kumar VijayUnited States Army Research Laboratory
Chattopadhyay, ArpanIndian Institute of Technology, Delhi
 
15:10-15:30, Paper FrB18.6 Add to My Program
 Epidemic Population Games for Policy Design: Two Populations with Viral Reservoir Case Study (I)

Certorio, JairUniversity of Maryland
La, Richard J.University of Maryland, College Park
Martins, Nuno C.University of Maryland
 
FrB19  Regular Session, Peony Junior 4411 Add to My Program 
Filtering  
 
Chair: Mahony, RobertAustralian National University,
Co-Chair: Tanwani, AneelLaas -- Cnrs
 
13:30-13:50, Paper FrB19.1 Add to My Program
 Sequential Learning from Noisy Data: Data-Assimilation Meets the Echo-State Network

Goswami, DebdiptaOhio State University
 
13:50-14:10, Paper FrB19.2 Add to My Program
 H_infty Filter Based Functional Observers for Descriptor Systems

Tunga, Pabitra KumarIndian Institute of Technology Patna
Tomar, Nutan KumarIndian Institute of Technology Patna
 
14:10-14:30, Paper FrB19.3 Add to My Program
 A Note on the Extended Kalman Filter on a Manifold

Ge, YixiaoAustralian National University
van Goor, PieterAustralian National University
Mahony, RobertAustralian National University,
 
14:30-14:50, Paper FrB19.4 Add to My Program
 Transport Inspired Particle Filters with Poisson-Sampled Observations in Gaussian Setting

Yufereva, OlgaLAAS CNRS
Tanwani, AneelLaas -- Cnrs
 
14:50-15:10, Paper FrB19.5 Add to My Program
 Fusion of Distance Measurements between Agents with Unknown Correlations

Cros, ColinUniversité Grenoble Alpes
Amblard, Pierre-OlivierCNRS
Prieur, ChristopheCNRS
Da Rocha, Jean-FrançoisTelespazio FRANCE
 
15:10-15:30, Paper FrB19.6 Add to My Program
 Metrics for Bayesian Optimal Experiment Design under Model Misspecifications

Catanach, TommieSandia National Laboratories
Das, NiladriSandia National Laboratories
 
FrB20  Regular Session, Orchid Junior 4312 Add to My Program 
Modelling and Control II  
 
Chair: Palopoli, LuigiUniversity of Trento
Co-Chair: Tebaldi, DavideUniversity of Modena and Reggio Emilia
 
13:30-13:50, Paper FrB20.1 Add to My Program
 Tube-Based Control Barrier Function with Integral Quadratic Constraints for Unknown Input Delay

Quan, YingshuaiHanyang University
Kim, Jin SungHanyang University
Lee, Seung HiHongik University
Chung, Chung ChooHanyang University
 
13:50-14:10, Paper FrB20.2 Add to My Program
 A Generalized Procedure to Model Complex Time-Varying Physical Systems

Tebaldi, DavideUniversity of Modena and Reggio Emilia
Zanasi, RobertoUniversity of Modena and Reggio Emilia
 
14:10-14:30, Paper FrB20.3 Add to My Program
 Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems

Han, HyejinUniversity of California, Santa Cruz
Sanfelice, Ricardo G.University of California at Santa Cruz
 
14:30-14:50, Paper FrB20.4 Add to My Program
 Strictly Uniform Exponential Decay of the Mixed-FEM Discretization for the Wave Equation with Boundary Dissipation

Del Rey Fernández, David C.University of Waterloo
Mora, Luis A.University of Waterloo
Morris, KirstenUniversity of Waterloo
 
14:50-15:10, Paper FrB20.5 Add to My Program
 Experimental Results for a Pressure Reducer Control with a Modular Actuator

Ariba, YassineINSA
Gouaisbaut, FredericUniversity of Toulouse, LAAS CNRS
Deschaux, FlavienCOMAT
Dugué, FrançoisCSTM
Roux, FrançoisCSTM
 
15:10-15:30, Paper FrB20.6 Add to My Program
 Notch Filter Design with Stability Guarantees for Mechanical Resonance Suppression in SISO LTI Two-Mass Drive Systems

Sonzogni, GiuliaUniversità Degli Studi Di Bergamo
Mazzoleni, MirkoUniversity of Bergamo
Polver, MarcoUniversità Degli Studi Di Bergamo
Ferramosca, AntonioUniveristy of Bergamo
Previdi, FabioUniversità Degli Studi Di Bergamo
 
FrB21  Regular Session, Orchid Junior 4311 Add to My Program 
Transportation Networks  
 
Chair: Chen, MinghuaCity University of Hong Kong
Co-Chair: Frasca, PaoloCNRS, GIPSA-Lab, Univ. Grenoble Alpes
 
13:30-13:50, Paper FrB21.1 Add to My Program
 Arc-Based Traffic Assignment: Equilibrium Characterization and Learning

Chiu, Chih-YuanUniversity of California, Berkeley
Maheshwari, ChinmayUniversity of California Berkeley
Su, Pan-YangUniversity of California, Berkeley
Sastry, ShankarUniv. of California at Berkeley
 
13:50-14:10, Paper FrB21.2 Add to My Program
 Distributed Leader-Followers Constrained Platooning Control of Linear Homogeneous Vehicles

Gaagai, RamziHelmut-Schmidt-Universität - Universität Der Bundeswehr Hamburg
Giaccagli, MattiaTel Aviv University
Horn, JoachimHelmut-Schmidt-University / University of the Federal Armed Forc
 
14:10-14:30, Paper FrB21.3 Add to My Program
 Stability Analysis for a Platoon of Vehicles with Reaction-Time Delay

Mousavi, Shima SadatETH Zurich
Bahrami, SomayehRazi University
Kouvelas, AnastasiosETH Zurich
 
14:30-14:50, Paper FrB21.4 Add to My Program
 Minimizing Carbon Footprint for Timely E-Truck Transportation: Hardness and Approximation Algorithm (I)

Su, JunyanCity University of Hong Kong
Lin, QiulinCity University of Hong Kong
Chen, MinghuaCity University of Hong Kong
Zeng, HaiboVirginia Tech
 
14:50-15:10, Paper FrB21.5 Add to My Program
 Impact on Traffic of Delayed Information in Navigation Systems

Toso, TommasoUniversité Grenoble Alpes, CNRS, Inria, Grenoble INP, GIPSA-Lab
Kibangou, AlainUniv. Grenoble Alpes
Frasca, PaoloCNRS, GIPSA-Lab, Univ. Grenoble Alpes
 
15:10-15:30, Paper FrB21.6 Add to My Program
 Assessing the Impact of Non-Compliant Users Response to System-Optimal Dynamic Traffic Assignment (I)

Siri, EnricoInria Sophia, Université Côte D'Azur
Goatin, PaolaInria
 
FrB22  Regular Session, Orchid Junior 4212 Add to My Program 
Markov Processes  
 
Chair: Meyn, Sean P.Univ. of Florida
Co-Chair: Mahajan, AdityaMcGill University
 
13:30-13:50, Paper FrB22.1 Add to My Program
 Optimizing Sensor Allocation against Attackers with Uncertain Intentions: A Worst-Case Regret Minimization Approach

Ma, HaoxiangUniversity of Florida
Han, ShuoUniversity of Illinois Chicago
Kamhoua, CharlesU.S. Army Research Laboratory
Fu, JieUniversity of Florida
 
13:50-14:10, Paper FrB22.2 Add to My Program
 Distributed TD(0) with Almost No Communication

Liu, RuiBoston University
Olshevsky, AlexanderBoston University
 
14:10-14:30, Paper FrB22.3 Add to My Program
 The Curse of Memory in Stochastic Approximation

Lauand, Caio KalilUniversity of Florida
Meyn, Sean P.Univ. of Florida
 
14:30-14:50, Paper FrB22.4 Add to My Program
 Asymmetric Actor-Critic with Approximate Information State

Sinha, AmitMcGill University
Mahajan, AdityaMcGill University
 
14:50-15:10, Paper FrB22.5 Add to My Program
 Weighted-Norm Bounds on Model Approximation in MDPs with Unbounded Per-Step Cost

Bozkurt, BerkMcGill University
Mahajan, AdityaMcGill University
Nayyar, AshutoshUniversity of Southern California
Ouyang, YiPreferred Networks
 
15:10-15:30, Paper FrB22.6 Add to My Program
 Optimal Markov Policies for Finite-Horizon Constrained MDPs with Combined Additive and Multiplicative Utilities

M, Uday KumarTata Consultancy Services Limited
Bhat, Sanjay P.Tata Consultancy Services Limited
Veeraruna, KavithaIIT Bombay, India
Hemachandra, NandyalaIndian Institute of Technology Bombay
 
FrB23  Regular Session, Orchid Junior 4211 Add to My Program 
Formal Verification and Synthesis  
 
Chair: Zhang, ZengjieEindhoven University of Technology
Co-Chair: Pola, GiordanoUniversity of L'Aquila
 
13:30-13:50, Paper FrB23.1 Add to My Program
 Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

Brown, ScottUniversity of California, San Diego
Khajenejad, MohammadUniversity of California, San Diego
Yong, Sze ZhengNortheastern University
Martinez, SoniaUniversity of California at San Diego
 
13:50-14:10, Paper FrB23.2 Add to My Program
 On Nash Equilibria for Decentralized Symbolic Control of Interconnected Finite State Systems

Pola, GiordanoUniversity of L'Aquila
De Santis, ElenaUniversity of L'Aquila
Di Benedetto, Maria DomenicaUniversity of L'Aquila
 
14:10-14:30, Paper FrB23.3 Add to My Program
 Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers

Chang, KevinUniversity of Southern California
Dahlin, NathanUniversity of Illinois at Urbana-Champaign
Jain, RahulUniversity of Southern California
Nuzzo, PierluigiUniversity of Southern California
 
14:30-14:50, Paper FrB23.4 Add to My Program
 Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

Yu, XinyiUniversity of Southern California
Wang, ChuweiShanghai Jiao Tong University
Yuan, DingranShanghai Jiao Tong University
Li, ShaoyuanShanghai Jiao Tong University
Yin, XiangShanghai Jiao Tong University
 
14:50-15:10, Paper FrB23.5 Add to My Program
 Modularized Control Synthesis for Complex Signal Temporal Logic Specifications

Zhang, ZengjieEindhoven University of Technology
Haesaert, SofieEindhoven University of Technology
 
15:10-15:30, Paper FrB23.6 Add to My Program
 Optimal Path Planning with Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers (I)

Zheng, YiweiXiamen University
Lai, AiwenXiamen University
Lan, WeiyaoXiamen University
Yu, XiaoXiamen University
 
FrB24  Regular Session, Orchid Main 4201AB Add to My Program 
Sliding-Mode Control  
 
Chair: Ferrara, AntonellaUniversity of Pavia
Co-Chair: Kim, YoonsooGyeongsang National University
 
13:30-13:50, Paper FrB24.1 Add to My Program
 Multivariable Disturbance Observer-Based Finite-Time Sliding Mode Attitude Control for Fixed-Wing UAVs under Matched and Mismatched Disturbances

Nguyen, Ngo PhongUlsan National Institute of Science and Technology
Oh, HyondongUlsan National University of Science and Technology
Moon, JunHanyang University
Kim, YoonsooGyeongsang National University
 
13:50-14:10, Paper FrB24.2 Add to My Program
 Exact Differentiator with Lipschitz Continuous Output and Optimal Worst-Case Accuracy under Bounded Noise

Aldana-López, RodrigoUniversidad De Zaragoza
Seeber, RichardGraz University of Technology
Haimovich, HernanCONICET and UNR
Gomez-Gutierrez, DavidIntel Labs
 
14:10-14:30, Paper FrB24.3 Add to My Program
 A Passivity Based Integral Sliding Mode Controller for Mechanical Port-Hamiltonian Systems

Baba, TakahiroKyoto University
Fujimoto, KenjiKyoto University
Maruta, IchiroKyoto University
 
14:30-14:50, Paper FrB24.4 Add to My Program
 Design of a Deep Neural Network-Based Integral Sliding Mode Control for Nonlinear Systems under Fully Unknown Dynamics

Vacchini, EdoardoUniversity of Pavia
Sacchi, NikolasUniversity of Pavia
Incremona, Gian PaoloPolitecnico Di Milano
Ferrara, AntonellaUniversity of Pavia
 
14:50-15:10, Paper FrB24.5 Add to My Program
 Structural Conditions for Chattering Avoidance in Implicitly Discretized Sliding Mode Differentiators

Seeber, RichardGraz University of Technology
Koch, StefanGraz University of Technology
 
15:10-15:30, Paper FrB24.6 Add to My Program
 A Robust Interval MPC for Uncertain LPV Systems Via Integral Sliding–Mode Control

Gutierrez, SusanaFIME-UANL
Ríos, HéctorTecnológico Nacional De México/I.T. La Laguna
Mera, ManuelEsime Upt Ipn
Raïssi, TarekConservatoire National Des Arts Et Métiers
Efimov, DenisInria
 
FrB25  Invited Session, Lotus Junior 4DE Add to My Program 
Security, Safety and Resilience of Discrete Event Systems  
 
Chair: Yin, XiangShanghai Jiao Tong University
Co-Chair: Cai, KaiOsaka Metropolitan University
Organizer: Yin, XiangShanghai Jiao Tong University
Organizer: Cai, KaiOsaka Metropolitan University
 
13:30-13:50, Paper FrB25.1 Add to My Program
 Edit Mechanism Synthesis for Opacity Enforcement under Uncertain Observations

Duan, WeiXidian Universisty
Liu, RuotianPolytechnic University of Bari
Fanti, Maria PiaPolytechnic of Bari
Hadjicostis, Christoforos N.University of Cyprus
Li, ZhiwuXidian University
 
13:50-14:10, Paper FrB25.2 Add to My Program
 Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets

Shi, WeijieShaanxi University of Science and Technology
He, ZhouShaanxi University of Science and Technology
Ma, ZiyueXidian University
Ran, NingHebei University
Yin, XiangShanghai Jiao Tong University
 
14:10-14:30, Paper FrB25.3 Add to My Program
 Supervisor Fortification against Covert Actuator Attacks (I)

Tai, RuochenNanyang Technological University
Lin, LiyongNanyang Technological University
Su, RongNanyang Technological University
 
14:30-14:50, Paper FrB25.4 Add to My Program
 Fault Diagnosis of Discrete Event Systems under Attack (I)

Kang, TenglongXidian University
Seatzu, CarlaUniv. of Cagliari
Li, ZhiwuXidian University
Giua, AlessandroUniversity of Cagliari
 
14:50-15:10, Paper FrB25.5 Add to My Program
 Abstraction-Based Synthesis of Controllers for Approximate Opacity (I)

Hou, JunyaoShanghaiJiaoTong University
Liu, SiyuanKTH Royal Institute of Technology
Yin, XiangShanghai Jiao Tong University
Zamani, MajidUniversity of Colorado Boulder
 
15:10-15:30, Paper FrB25.6 Add to My Program
 Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach (I)

Cui, BohanShanghai Jiao Tong University
Giua, AlessandroUniversity of Cagliari
Yin, XiangShanghai Jiao Tong University
 
FrC01  Invited Session, Melati Junior 4010A-4111 Add to My Program 
Learning, Optimization, and Game Theory V  
 
Chair: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Co-Chair: Doan, Thinh T.Virginia Tech
Organizer: Doan, Thinh T.Virginia Tech
Organizer: Sayin, Muhammed OmerBilkent University
Organizer: Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Organizer: Zhang, KaiqingUniversity of Maryland
 
16:00-16:20, Paper FrC01.1 Add to My Program
 Reinforcement-Learning-Based Risk-Sensitive Optimal Feedback Mechanisms of Biological Motor Control (I)

Cui, LeileiNew York University
Pang, BoNew York University
Jiang, Zhong-PingNew York University
 
16:20-16:40, Paper FrC01.2 Add to My Program
 Adaptive Optimal Output Regulation of Discrete-Time Linear Systems: A Reinforcement Learning Approach (I)

Chakraborty, SayanNew York University
Gao, WeinanNortheastern University
Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Jiang, Zhong-PingNew York University
 
16:40-17:00, Paper FrC01.3 Add to My Program
 Online Learning for Incentive-Based Demand Response (I)

Muthirayan, DeepanUniversity of California at Irvine
Khargonekar, PramodUniv. of California, Irvine
 
17:00-17:20, Paper FrC01.4 Add to My Program
 Game-Theoretic Deception Methods for Perfectly and Bounded Rational Stealthy Attackers (I)

Fotiadis, FilipposGeorgia Institute of Technology
Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
 
17:20-17:40, Paper FrC01.5 Add to My Program
 Maximizing Reachability in Factored MDPs Via Near-Optimal Clustering with Applications to Control of Multi-Agent Systems (I)

Fiscko, CarmelWashington University in St Louis
Kar, SoummyaCarnegie Mellon University
Sinopoli, BrunoWashington University in St Louis
 
17:40-18:00, Paper FrC01.6 Add to My Program
 An Observer-Based Reinforcement Learning Solution for Model-Following Problems (I)

Abouheaf, MohammedBowling Green State University
Vamvoudakis, Kyriakos G.Georgia Inst. of Tech
Mayyas, MohammadBowling Green State University
Hashim, Hashim ACarleton University
 
FrC02  Invited Session, Orchid Main 4202-4303 Add to My Program 
Data-Driven Verification and Control of Cyber-Physical Systems III  
 
Chair: Zamani, MajidUniversity of Colorado Boulder
Co-Chair: Lavaei, AbolfazlNewcastle University
Organizer: Lavaei, AbolfazlNewcastle University
Organizer: Jungers, Raphaël M.University of Louvain
Organizer: Abate, AlessandroUniversity of Oxford
 
16:00-16:20, Paper FrC02.1 Add to My Program
 Star Based Reachability Analysis of Interval Neural Networks (I)

Bondalakunta, VishnuKansas State University
Prabhakar, PavithraKansas State University
 
16:20-16:40, Paper FrC02.2 Add to My Program
 Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method with Validation Tests (I)

Chen, YuShanghai Jiao Tong University
Shang, ChaoTsinghua University
Huang, XiaolinShanghai Jiao Tong University
Yin, XiangShanghai Jiao Tong University
 
16:40-17:00, Paper FrC02.3 Add to My Program
 Symbolic Abstractions with Guarantees: A Data-Driven Divide-And-Conquer Strategy (I)

Lavaei, AbolfazlNewcastle University
 
17:00-17:20, Paper FrC02.4 Add to My Program
 Transfer Learning for Barrier Certificates (I)

Nadali, AlirezaUniversity of Colorado, Boulder
Trivedi, AshutoshUniversity of Colorado Boulder
Zamani, MajidUniversity of Colorado Boulder
 
17:20-17:40, Paper FrC02.5 Add to My Program
 Abstraction-Based Safety Analysis of Linear Dynamical Systems with Neural Network Controllers (I)

Lal, RatanNorthwest Missouri State University
Prabhakar, PavithraKansas State University
 
17:40-18:00, Paper FrC02.6 Add to My Program
 Towards Learning and Verifying Maximal Neural Lyapunov Functions (I)

Liu, JunUniversity of Waterloo
Meng, YimingUniversity of Waterloo
Fitzsimmons, MaxwellUniversity of Waterloo
Zhou, RuikunUniversity of Waterloo
 
FrC03  Invited Session, Orchid Main 4204-4305 Add to My Program 
Cyber-Physical Systems: Privacy and Security of Networked Systems  
 
Chair: Sadabadi, Mahdieh S.Queen Mary University of London
Co-Chair: Escudero, CédricINSA Lyon, Laboratoire Ampère
Organizer: Sadabadi, Mahdieh S.University of Manchester
Organizer: Escudero, CédricINSA Lyon, Laboratoire Ampère
Organizer: Selvi, DanielaUniversità Di Pisa
Organizer: Soudjani, SadeghNewcastle University
Organizer: Murguia, CarlosEindhoven University of Technology
Organizer: Chong, MichelleEindhoven University of Technology
Organizer: Ferrari, Riccardo M.G.Delft University of Technology
Organizer: Sasahara, HampeiTokyo Institute of Technology
Organizer: Zhu, QuanyanNew York University
 
16:00-16:20, Paper FrC03.1 Add to My Program
 Secure State Estimation under Actuator and Sensor Attacks Using Sliding Mode Observers

Keijzer, TwanDelft University of Technology
Ferrari, Riccardo M.G.Delft University of Technology
Sandberg, HenrikKTH Royal Institute of Technology
 
16:20-16:40, Paper FrC03.2 Add to My Program
 On the Trade-Offs between Accuracy, Privacy, and Resilience in Average Consensus Algorithms (I)

Ramos, GuilhermeInstituto De Telecomunicações, 1049-001 Lisbon, Portugal
Teixeira, André M. H.Uppsala University
Pequito, SergioUppsala University
 
16:40-17:00, Paper FrC03.3 Add to My Program
 Privacy-Informed Consensus-Based Secondary Control in Cyber-Physical DC Microgrids

Sadabadi, Mahdieh S.University of Manchester
 
17:00-17:20, Paper FrC03.4 Add to My Program
 Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning (I)

Gohari, ParhamThe University of Texas at Austin
Hale, MatthewUniversity of Florida