16 citations · 25 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022
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),…
eess.SY2022★ 2 cited
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…