Manuel jun. Mazo

Available identifiers

zbMath Open mazo.manuel-junMaRDI QIDQ533798

List of research outcomes

Publication	Date of Publication	Type
Computing the sampling performance of event-triggered control	2024-02-21	Paper
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence	2024-02-21	Paper
ETCetera: beyond Event-Triggered Control	2024-02-21	Paper
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems	2024-02-21	Paper
Interval Markov Decision Processes with Continuous Action-Spaces	2024-02-21	Paper
Poster: Convex Scenario Optimisation for ReLU Networks	2024-02-21	Paper
Chaos and Order in Event-Triggered Control	2024-01-26	Paper
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems	2023-10-02	Paper
Robust event-driven interactions in cooperative multi-agent learning	2023-01-18	Paper
Computing the average inter-sample time of event-triggered control using quantitative automata	2023-01-13	Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications	2022-03-18	Paper
The isowarp: the template-based visual geometry of isometric surfaces	2021-12-02	Paper
Isochronous Partitions for Region-Based Self-Triggered Control	2021-05-28	Paper
Convergence of ant colony multi-agent swarms	2021-01-25	Paper
Lyapunov Event-Triggered Stabilization With a Known Convergence Rate	2020-10-07	Paper
Self-triggered output-feedback control of LTI systems subject to disturbances and noise	2020-10-01	Paper
Traffic Models of Periodic Event-Triggered Control Systems	2019-08-12	Paper
Equiareal shape-from-template	2019-06-27	Paper
Symbolic Abstractions of Networked Control Systems	2019-03-29	Paper
Formal Traffic Characterization of LTI Event-Triggered Control Systems	2018-12-19	Paper
Lyapunov Design for Event-Triggered Exponential Stabilization	2018-12-06	Paper
Decentralized periodic event-triggered control with quantization and asynchronous communication	2018-10-17	Paper
Modular Architecture for Efficient Generation and Correlation of Complementary Set of Sequences	2018-06-12	Paper
Lyapunov Event-triggered Stabilization with a Known Convergence Rate	2018-03-23	Paper
Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization	2018-02-16	Paper
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions	2017-09-08	Paper
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks	2017-08-25	Paper
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic	2017-05-16	Paper
Optimality of robust disturbance-feedback strategies	2016-04-15	Paper
Asynchronous decentralized event-triggered control	2015-04-28	Paper
Symbolic approximate time-optimal control	2011-05-06	Paper
An ISS self-triggered implementation of linear controllers	2010-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3526773	2008-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4448533	2004-02-18	Paper
Wheelchair guidance strategies using EOG	2003-02-19	Paper
Using a new model of recurrent neural network for control	2003-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q2783193	2002-04-15	Paper
Neural control of the movements of a wheelchair	2001-06-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel jun. Mazo