Mazo, Manuel
- Symbolic models for nonlinear control systems without stability assumptions
2010/02/03 by Zamani, Majid, Pola, Giordano, Mazo, Manuel +1 · 4 citations
#93C57 #FOS: Mathematics #Optimization and Control (math.OC)
- Decentralized event-triggered control over wireless sensor/actuator\n networks
2010/04/03 by Manuel Mazo, Paulo Tabuada, Mazo, Manuel +1 · 2 citations
Computer Science · #Petri Nets in System Modeling #Network Time Synchronization Technologies #Energy Efficient Wireless Sensor Networks
- Symbolic Approximate Time-Optimal Control
2010/04/06 by Mazo, Manuel, Tabuada, Paulo · 1 citation
#93A30 #93C10 #93C30 #93C62 #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Chaos and order in event-triggered control
2022/01/12 by Gleizer, Gabriel de Albuquerque, Mazo, Manuel · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems
2022/03/10 by Andrea Peruffo, Peruffo, Andrea, Manuel Mazo +1 · 1 citation
Computer Science · Engineering · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Languages and Automata Theory (cs.FL) #Lanthanide and Transition Metal Complexes #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-driven Interval MDP for Robust Control Synthesis
2024/04/12 by Rudi Coppola, Coppola, Rudi, Andrea Peruffo +7 · 2 citations
Decision Sciences · Engineering · #Simulation Techniques and Applications #Probabilistic and Robust Engineering Design #Advanced Control Systems Optimization
- Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
2024/12/15 by Ibón Gracia, Luca Laurenti, Gracia, Ibon +6 · 4 citations
Engineering · #Advanced Control Systems Optimization