16 citations · 25 across the 10 of their papers we have counts for
11 papers
An Information Theory of Finite Abstractions and their Fundamental Scalability Limits
Giannis Delimpaltadakis, Gabriel Gleizer
Finite abstractions are discrete models of dynamical systems, such that the set of abstraction trajectories contains all system trajectories. There is a consensus that abstractions…
A Saddle Point Algorithm for Robust Data-Driven Factor Model Problems
Shabnam Khodakaramzadeh, Soroosh Shafiee, Gabriel de Albuquerque Gleizer +1
We study the factor model problem, which aims to uncover low-dimensional structures in high-dimensional datasets. Adopting a robust data-driven approach, we formulate the problem a…
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo
This paper studies the reduction (abstraction) of finite-state transition systems for control synthesis problems. We revisit the notion of alternating simulation equivalence (ASE),…
Chaos and order in event-triggered control
Gabriel de Albuquerque Gleizer, Manuel Mazo
Event-triggered control (ETC) is claimed to provide enormous reductions in sampling frequency when compared to periodic sampling, but little is formally known about its generated t…
Computing the average inter-sample time of event-triggered control using quantitative automata
Gabriel de Albuquerque Gleizer, Manuel Mazo
Event-triggered control (ETC) is a major recent development in cyber-physical systems due to its capability of reducing resource utilization in networked devices. However, while mo…
Self-Triggered Control for Near-Maximal Average Inter-Sample Time
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo
Self-triggered control (STC) is a sample-and-hold control method aimed at reducing communications within networked-control systems; however, existing STC mechanisms often maximize…