If you made any changes in Pure these will be visible here soon.

Research Output

2020

Convergence of ant colony multi-agent swarms

Ornia, D. J. & Mazo, M., 2020, Proceedings of the 23rd International Conference on Hybrid Systems (HSCC 2020): Computation and Control, part of CPS-IoT Week. New York, NY, USA: Association for Computing Machinery (ACM), 11 p. 29

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Isochronous Partitions for Region-Based Self-Triggered Control

Delimpaltadakis, I. & Mazo, M., 2020, (Accepted/In press) In : IEEE Transactions on Automatic Control. 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Lyapunov event-triggered stabilization with a known convergence rate

Proskurnikov, A. V. & Mazo, M., 2020, In : IEEE Transactions on Automatic Control. 65, 2, p. 507-521

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
2 Downloads (Pure)

Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers

de Albuquerque Gleizer, G. & Mazo, M., 2020, (Accepted/In press) Proceedings IFAC World Congress 2020. IFAC

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Self-triggered output-feedback control of LTI systems subject to disturbances and noise

de Albuquerque Gleizer, G. & Mazo, M., 2020, In : Automatica. 120, 11 p., 109129.

Research output: Contribution to journalArticleScientificpeer-review

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

de Albuquerque Gleizer, G. & Mazo, M., 2020, In : IEEE Control Systems Letters. 5, 1, p. 25-30

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems

Delimpaltadakis, I. & Mazo, M., 2020, (Accepted/In press) Proceedings of the 59th IEEE Conference on Decision and Control. Piscataway, NJ, USA: IEEE

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2019

Near Optimal Control with Reachability and Safety Guarantees

Verdier, C., Babuška, R., Shyrokau, B. & Mazo, M., 2019, In : IFAC-PapersOnLine. 52, 11, p. 230-235 6 p.

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
1 Citation (Scopus)
74 Downloads (Pure)

Periodic event-triggered control with a relaxed triggering condition

Szymanek, A., Gleizer, G. D. A. & Mazo, M., 2019, Proceedings 2019 IEEE 58th Conference on Decision and Control (CDC 2019). Piscataway, NJ, USA: IEEE, p. 1656-1661

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Downloads (Pure)

Traffic Models of Periodic Event-Triggered Control Systems

Fu, A. & Mazo, M., 2019, In : IEEE Transactions on Automatic Control. 64, 8, p. 3453-3460

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Citation (Scopus)
29 Downloads (Pure)
2018

Abstracted models for scheduling of event-triggered control data traffic

Mazo, M., Sharifi-Kolarijani, A., Adzkiya, D. & Hop, C., 2018, Control Subject to Computational and Communication Constraints : Current Challenges. Tarbouriech, S., Girard, A. & Hetel, L. (eds.). Cham, Switzerland: Springer, p. 197-217 (Lecture Notes in Control and Information Sciences; vol. 475).

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Open Access
File
1 Downloads (Pure)

Decentralized periodic event-triggered control with quantization and asynchronous communication

Fu, A. & Mazo, M., 2018, In : Automatica. 94, p. 294-299

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
10 Citations (Scopus)
1 Downloads (Pure)

Formal synthesis of analytic controllers for sampled-data systems via genetic programming

Verdier, C. F. & Mazo, M., 2018, Proceedings of the 57th IEEE Conference on Decision and Control (CDC 2018). Teel, A. R. & Egerstedt, M. (eds.). Piscataway, NJ, USA: IEEE, p. 4896-4901

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
2 Downloads (Pure)

Lyapunov design for event-triggered exponential stabilization

Proskurnikov, A. V. & Mazo, M., 2018, Proceedings of the 21st International Conference on Hybrid Systems (HSCC 2018): Computation and Control (part of CPS Week). New York, NY, USA: Association for Computing Machinery (ACM), p. 111-119

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
5 Citations (Scopus)
2 Downloads (Pure)

Optimal symbolic controllers determinization for BDD storage

Zapreev, I. S., Verdier, C. & Mazo, M., 2018, In : IFAC-PapersOnline. 51, 16, p. 1-6

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
1 Citation (Scopus)
2 Downloads (Pure)

Self-triggered output feedback control for perturbed linear systems

de Albuquerque Gleizer, G. & Mazo, M., 2018, In : IFAC-PapersOnLine. 51, 23, p. 248-253

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
2 Citations (Scopus)
21 Downloads (Pure)
2017

Absolute stabilization of Lur'e systems under event-triggered feedback

Zhang, F., Mazo, M. & van de Wouw, N., 2017, In : IFAC-PapersOnLine. 50, 1, p. 15301-15306

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
7 Citations (Scopus)
45 Downloads (Pure)

Asynchronous mix-triggered control

Fu, A. & Mazo, M., 2017, Proceedings of the 2017 13th IEEE International Conference on Control and Automation (ICCA 2017). Liu, L. & Lin, H. (eds.). Piscataway, NJ, USA: IEEE, p. 230-235 8003065

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)

Communication schemes for centralized and decentralized event-triggered control systems

Kartakis, S., Fu, A., Mazo, M. & McCann, J. A., 2017, In : IEEE Transactions on Control Systems Technology. 26 (2018), 6, p. 2035-2048

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
6 Citations (Scopus)
46 Downloads (Pure)

Formal controller synthesis via genetic programming

Verdier, C. F. & Mazo, M., 2017, In : IFAC-PapersOnline. 50, 1, p. 7205-7210

Research output: Contribution to journalConference articleScientificpeer-review

8 Citations (Scopus)

Simple synchronization protocols for heterogeneous networks: beyond passivity

Proskurnikov, A. V. & Mazo, M., 2017, In : IFAC-PapersOnLine. 50-1, p. 9426-9431

Research output: Contribution to journalConference articleScientificpeer-review

Open Access
File
13 Citations (Scopus)
26 Downloads (Pure)

Symbolic abstractions of Networked Control Systems

Zamani, M., Mazo, M., Khaled, M. & Abate, A., 2017, In : IEEE Transactions on Control of Network Systems. 5 (2018), 4, p. 1622-1634

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)
2016

A formal traffic characterization of LTI event-triggered control systems

Sharifi K., A. & Mazo, M., 2016, In : IEEE Transactions on Control of Network Systems. 5 (2018), 1, p. 274-283

Research output: Contribution to journalArticleScientificpeer-review

5 Citations (Scopus)

Decentralized event-triggered controller implementations

Mazo, M. & Fu, A., 2016, Event-Based Control and Signal Processing. Miskowicz, M. (ed.). Boca Raton, FL, USA: CRC Press, p. 121-150

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Improved asynchronous event-triggered control for linear systems with performance guarantees

Fu, A. & Mazo Espinosa, M., 2016, Proceedings 2016 European Control Conference (ECC). Piscataway, NJ, USA: IEEE, p. 995-1000 7810419

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)

Optimality of robust disturbance-feedback strategies

Trottemant, E. J., Scherer, C. W. & Mazo, M., 2016, In : International Journal of Robust and Nonlinear Control. 26, 7, p. 1475-1488

Research output: Contribution to journalArticleScientificpeer-review

Periodic asynchronous event-triggered control

Fu, A. & Mazo, M., 2016, Proceedings 2016 IEEE 55th Conference on Decision and Control (CDC) . Bullo, F., Prieur, C. & Giua, A. (eds.). Piscataway, NJ, USA: IEEE, p. 1370-1375

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Citations (Scopus)

Scheduling of controllers’ update-rates for residual bandwidth utilization

Zamani, M., Dey, S., Mohamed, S., Dasgupta, P. & Mazo, M., 2016, Formal Modeling and Analysis of Timed Systems: Proceedings of the 14th International Conference FORMATS 2016. Fränzle, M. & Markey, N. (eds.). Cham, Switzerland: Springer, p. 85-101 (Lecture Notes in Computer Science; vol. 9884).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)

Synthesis of robust piecewise affine output-feedback strategies

Trottemant, E. J., Mazo Espinosa, M. & Scherer, C. W., 2016, In : Journal of Guidance, Control, and Dynamics: devoted to the technology of dynamics and control. 39, 7, p. 1461-1469

Research output: Contribution to journalArticleScientificpeer-review

The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework

Kaustubh, M., Willemsen, DMC. & Mazo Espinosa, M., 2016, Proceedings of the 2016 IEEE Intelligent Vehicles Symposium. Sjöberg, J. & Morris, B. (eds.). Piscataway, NJ, USA: IEEE, p. 808-814 7535480

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
3 Citations (Scopus)
61 Downloads (Pure)

Timing abstraction of perturbed LTI systems with L2-based event-triggering mechanism

Kolarijani, A. S., Mazo Espinosa, M. & Keviczky, T., 2016, Proceedings 2016 IEEE 55th Conference on Decision and Control (CDC). Giua, A., Bullo, F. & Prieur, C. (eds.). Piscataway, NJ, USA: IEEE, p. 1364-1369 7798456

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
2015

Advances on asynchronous event-triggered control

Fu, A. & Mazo Espinosa, M., 2015, Proceedings of the 1st International Conference on Event-based Control, Communication, and Signal Processing. Cao, M., Zurawski, R. & Florkowski, M. (eds.). Piscataway, NJ, USA: IEEE Society, p. 1-4 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access

Aperiodic consensus control for tracking nonlinear trajectories of a platoon of vehicles

Santos, C., Espinosa, F., Santiso, E., Martinez, M. & Mazo, M., 2015, Proceedings of the 2015 IEEE 18th International Conference on Intelligent Transportation Systems. Sanchez-Medina, JJ. (ed.). Piscataway, NJ, USA: IEEE Society, p. 1983-1988

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)

Aperiodic linear networked control considering variable channel delays: Application to robots coordination

Santos, C., Espinoza, F., Santiso, E. & Mazo, M., 2015, In : Sensors. 15, 6, p. 12454 - 12473

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
7 Citations (Scopus)
11 Downloads (Pure)

Steering controller identification and design for human-like overtaking

Zhang, Y., Hoogendoorn, RG., Mazo Espinosa, M. & Hellendoorn, J., 2015, Proceedings 6th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences. Ahram, T., Karwowski, W. & Schmorrow, D. (eds.). Amsterdam, The Netherlands: Elsevier, p. 2526-2533 8 p. (Procedia Manufacturing; vol. 3).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
1 Citation (Scopus)

Symbolic abstractions for the scheduling of event-triggered control systems

Sharifi Kolarijani, A., Adzkiya, D. & Mazo Espinosa, M., 2015, Proceedings of the 2015 IEEE 54th Annual Conference on Decision and Control (CDC). Ohta, Y. & Sampei, M. (eds.). Piscataway, NJ, USA: IEEE Society, p. 6153-6158 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
2014

Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation

Santos, C., Mazo Espinosa, M. & Espinosa, F., 2014, In : Robotics and Autonomous Systems. 62, 6, p. 847-854 8 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
13 Citations (Scopus)

Asynchronous decentralized event-triggered control

Mazo Espinosa, M. & Cao, M., 2014, In : Automatica. 50, 12, p. 3197-3203 7 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
69 Citations (Scopus)

Finite abstractions of networked control systems

Zamani, M., Mazo Espinosa, M. & Abate, A., 2014, Proceedings 2014 IEEE 53rd Annual Conference on Decision and Control. Teel, AR., Rundell, A. & Jabbari, F. (eds.). Piscataway, NJ, USA: IEEE Society, p. 95-100 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
15 Citations (Scopus)

System architectures, protocols and algorithms for aperiodic wireless control systems

Araújo, J., Mazo Espinosa, M., Anta, A., Tabuada, P. & Johansson, K. H., 2014, In : IEEE Transactions on Industrial Informatics. 10, 1, p. 175-184 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
91 Citations (Scopus)
2013

Design of reward structures for sequential decision-making processes using symbolic analysis

Mazo Espinosa, M. & Cao, M., 2013, Proceedings of the American Control Conference 2013. Pao, L., Ambramovitch, D. & Beard, R. (eds.). Piscataway, NJ, USA: IEEE Society, p. 4393-4398 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
1 Citation (Scopus)

On symbolic optimal control via approximate simulation relations

de Roo, F. & Mazo Espinosa, M., 2013, Proceedings 2013 IEEE 52nd Annual Conference on Decision and Control. Tits, AL., Astolfi, A. & et al (eds.). Piscataway, NJ, USA: IEEE Society, p. 3205-3210 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
3 Citations (Scopus)

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Rungger, M., Mazo Espinosa, M. & Tabuada, P., 2013, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Sokolsky, O. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 333-342 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
35 Citations (Scopus)

Towards safe and efficient driving through vehicle automation: The Dutch Automated Vehicle Initiative

Hoogendoorn, R., van Arem, B., Happee, R., Mazo, M. & Kotiadis, D., 30 Oct 2013

Research output: Non-textual formWeb publication/siteScientific

Open Access
2012

Scaling up controller synthesis for linear systems and safety specifications

Rungger, M., Mazo Espinosa, M. & Tabuada, P., 2012, 51st IEEE Conference on Decision and Control. Farrell, J. A. (ed.). Maui, USA: IEEE Society, p. 7638-7643 6 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

7 Citations (Scopus)