I agree that this site is using cookies. You can find further informations here.
X
Mazo Jr., Manuel
192  results:
Search for persons X
?
1

Proceedings of the 27th ACM International Conference on Hyb..:

Ábrahám, Erika ; Mazo Jr., Manuel , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Interval Markov Decision Processes with Continuous Action-S..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Delimpaltadakis, Giannis ; Lahijanian, Morteza ; Mazo Jr., Manuel. - p. 1-10 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Poster: Convex Scenario Optimisation for ReLU Networks:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Peruffo, Andrea ; Mazo Jr., Manuel - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Computing the average inter-sample time of event-triggered ..:

de Albuquerque Gleizer, Gabriel ; Mazo Jr, Manuel
Nonlinear Analysis: Hybrid Systems.  47 (2023)  - p. 101290 , 2023
Link: https://doi.org/10.1016/..
 
?
5

Distributionally Robust Strategy Synthesis for Switched Sto..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Gracia, Ibón ; Boskos, Dimitris ; Laurenti, Luca. - p. 1-10 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

From Non-punctuality to Non-adjacency: A Quest for Decidabi..:

Krishna, Shankara Narayanan ; Madnani, Khushraj ; Mazo Jr., Manuel.
Formal Aspects of Computing.  35 (2023)  2 - p. 1-50 , 2023
Link: https://doi.org/10.1145/..
 
?
7

A self-guided approach for navigation in a minimalistic for..:

Adams, Steven ; Jarne Ornia, Daniel ; Mazo Jr, Manuel
Autonomous Robots.  47 (2023)  7 - p. 905-920 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Formal synthesis of closed-form sampled-data controllers fo..:

Verdier, Cees Ferdinand ; Kochdumper, Niklas ; Althoff, Matthias.
Automatica.  139 (2022)  - p. 110184 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Robust Event-Driven Interactions in Cooperative Multi-agent..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Jarne Ornia, Daniel ; Mazo Jr., Manuel - p. 281-297 , 2022
Link: https://doi.org/10.1007/..
 
?
10

ETCetera: beyond Event-Triggered Control:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Delimpaltadakis, Giannis ; de Albuquerque Gleizer, Gabriel ; van Straalen, Ivo. - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

A Simpler Alternative: Minimizing Transition Systems Modulo..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Gleizer, Gabriel de Albuquerque ; Madnani, Khushraj ; Mazo Jr., Manuel - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

The Wireless Control Bus: Enabling Efficient Multi-Hop Even..:

Trobinger, Matteo ; de Albuquerque Gleizer, Gabriel ; Istomin, Timofei...
ACM Transactions on Cyber-Physical Systems (TCPS).  6 (2021)  1 - p. 1-29 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

The Wireless Control Bus: Enabling Efficient Multi-Hop Even..:

Trobinger, Matteo ; de Albuquerque Gleizer, Gabriel ; Istomin, Timofei...
ACM Transactions on Cyber-Physical Systems.  6 (2021)  1 - p. 1-29 , 2021
Link: https://doi.org/10.1145/..
 
?
14

Computing the sampling performance of event-triggered contr..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
de A. Gleizer, Gabriel ; Mazo Jr., Manuel - p. 1-7 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Generalizing Non-punctuality for Timed Temporal Logic with ..:

, In: Formal Methods; Lecture Notes in Computer Science,
Krishna, Shankara Narayanan ; Madnani, Khushraj ; Mazo Jr., Manuel. - p. 182-199 , 2021
Link: https://doi.org/10.1007/..
 
1-15