426 citations · 651 across the 43 of their papers we have counts for
10 papers · 1 filter
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…
Event-Based Communication in Distributed Q-Learning
Daniel Jarne Ornia, Manuel Mazo
We present an approach to reduce the communication of information needed on a Distributed Q-Learning system inspired by Event Triggered Control (ETC) techniques. We consider a base…
Logics Meet 2-Way 1-Clock Alternating Timed Automata
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo +1
In this paper, we study the extension of 1-clock Alternating Timed Automata (1-ATA) with the ability to read in both forward and backward direction, the 2-Way 1-clock Alternating T…
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…
A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm
Steven Adams, Daniel Jarne Ornia, Manuel Mazo
We present a biologically inspired design for swarm foraging based on ant's pheromone deployment, where the swarm is assumed to have very restricted capabilities. The robots do not…
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo +1
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking…