66 entries « 1 of 2 »

Journal Articles

1.

Fu, Anqi; Mazo Jr., Manuel

Traffic Models of Periodic Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Automatic Control, 64 (8), pp. 3453 - 3460, 2019.

Links | BibTeX | Tags: Formal methods, NCS, SENTIENT

Traffic Models of Periodic Event-Triggered Control Systems
2.

Proskurnikov, Anton V; Mazo Jr., Manuel

Lyapunov Event-triggered Stabilization with a Known Convergence Rate Journal Article Forthcoming

In: IEEE Transactions on Automatic Control, Forthcoming, (IEEE Early Access arXiv preprint arXiv:1803.08980).

BibTeX | Tags: IAVTRM, NCS

3.

Fu, Anqi; Mazo Jr., Manuel

Decentralized periodic event-triggered control with quantization and asynchronous communication Journal Article

In: Automatica, 94 , pp. 294–299, 2018.

Links | BibTeX | Tags: NCS

4.

Zamani, Majid; Mazo Jr., Manuel ; Khaled, Mahmoud; Abate, Alessandro

Symbolic abstractions of networked control systems Journal Article

In: IEEE Transactions on Control of Network Systems, 2017.

BibTeX | Tags: Formal methods, NCS

5.

Kartakis, Sokratis; Fu, Anqi; Mazo Jr., Manuel ; McCann, Julie A

Communication schemes for centralized and decentralized event-triggered control systems Journal Article

In: IEEE Transactions on Control Systems Technology, (99), pp. 1–14, 2017.

BibTeX | Tags: NCS

6.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel

Formal Traffic Characterization of LTI Event-Triggered Control Systems Journal Article

In: IEEE Transactions on Control of Network Systems, 5 (1), pp. 274–283, 2016.

Links | BibTeX | Tags: Formal methods, NCS

7.

Trottemant, Eric J; Mazo Jr., Manuel ; Scherer, Carsten W

Synthesis of Robust Piecewise Affine Output-Feedback Strategies Journal Article

In: Journal of Guidance, Control, and Dynamics, 39 (7), pp. 1461–1469, 2016.

BibTeX | Tags: Optimal Control, Robust Control

8.

Trottemant, Eric J; Scherer, Carsten W; Mazo Jr., Manuel

Optimality of robust disturbance-feedback strategies Journal Article

In: International Journal of Robust and Nonlinear Control, 26 (7), pp. 1475–1488, 2016.

BibTeX | Tags: Optimal Control, Robust Control

9.

Zhang, Yujie; Hoogendoorn, Raymond; Mazo Jr., Manuel ; Hellendoorn, Hans

Steering controller identification and design for human-like overtaking Journal Article

In: Procedia Manufacturing, 3 , pp. 2526–2533, 2015.

BibTeX | Tags: Automotive

10.

Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Mazo Jr., Manuel

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

In: Sensors, 15 (6), pp. 12454–12473, 2015.

BibTeX | Tags: NCS

11.

Mazo Jr., Manuel ; Cao, Ming

Asynchronous decentralized event-triggered control Journal Article

In: Automatica, 50 (12), pp. 3197–3203, 2014.

BibTeX | Tags: NCS

12.

Araújo, José; Jr, Mazo M; Anta, Adolfo; Tabuada, Paulo; Johansson, Karl H

System architectures, protocols and algorithms for aperiodic wireless control systems Journal Article

In: Industrial Informatics, IEEE Transactions on, 10 (1), pp. 175–184, 2014.

BibTeX | Tags: NCS

13.

Santos, Carlos; Mazo Jr., Manuel ; Espinosa, Felipe

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

In: Robotics and Autonomous Systems, 62 (6), pp. 847–854, 2014.

BibTeX | Tags: NCS, Robotics

14.

Zamani, Majid; Pola, Giordano; Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic models for nonlinear control systems without stability assumptions Journal Article

In: Automatic Control, IEEE Transactions on, 57 (7), pp. 1804–1809, 2012.

BibTeX | Tags: Formal methods

15.

Mazo Jr., Manuel ; Tabuada, Paulo

Decentralized event-triggered control over wireless sensor/actuator networks Journal Article

In: Automatic Control, IEEE Transactions on, 56 (10), pp. 2456–2461, 2011.

BibTeX | Tags: NCS

16.

Mazo Jr., Manuel ; Tabuada, Paulo

Symbolic approximate time-optimal control Journal Article

In: Systems & Control Letters, 60 (4), pp. 256–263, 2011.

BibTeX | Tags: Formal methods

17.

Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo

An ISS self-triggered implementation of linear controllers Journal Article

In: Automatica, 46 (8), pp. 1310–1314, 2010.

Links | BibTeX | Tags: NCS

Incollections

18.

Mazo Jr., Manuel ; Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Hop, Christian

Abstracted Models for Scheduling of Event-Triggered Control Data Traffic Incollection

In: Control Subject to Computational and Communication Constraints, pp. 197–217, Springer, Cham, 2018.

BibTeX | Tags: Formal methods, NCS

19.

Mazo Jr., Manuel ; Fu, Anqi

Decentralized event-triggered controller implementations Incollection

In: Event-Based Control and Signal Processing, pp. 121–125, CRC Press, 2015, ISBN: 978-1-4822-5655-0.

Links | BibTeX | Tags: NCS

Inproceedings

20.

Proskurnikov, Anton V; Mazo Jr., Manuel

Lyapunov design for event-triggered exponential stabilization Inproceedings

In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 111–119, ACM 2018.

Links | BibTeX | Tags: IAVTRM, NCS

21.

Zapreev, Ivan S; Verdier, Cees F; Mazo Jr., Manuel

Optimal Symbolic Controllers Determinization for BDD storage Inproceedings

In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.

Links | BibTeX | Tags: CADUSY, Formal methods

22.

Verdier, Cees F; Mazo Jr., Manuel

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Inproceedings

In: 2018 IEEE Conference on Decision and Control (CDC), pp. 4896–4901, IEEE 2018.

BibTeX | Tags: CADUSY, Formal methods

23.

de Gleizer, Gabriel A; Mazo Jr., Manuel

Self-Triggered Output Feedback Control for Perturbed Linear Systems Inproceedings

In: 7th IFAC Workshop on Distributed Estimation and Control in Networked Systems NECSYS 2018, pp. 248–253, Elsevier, 2018.

BibTeX | Tags: NCS, SENTIENT

24.

Proskurnikov, Anton V; Mazo Jr., Manuel

Simple synchronization protocols for heterogeneous networks: beyond passivity Inproceedings

In: IFAC-PapersOnLine (20th IFAC World Congress), pp. 9426–9431, Elsevier, 2017.

BibTeX | Tags: IAVTRM, NCS

25.

Verdier, Cees F; Mazo Jr., Manuel

Formal controller synthesis via genetic programming Inproceedings

In: IFAC-PapersOnLine, pp. 7205–7210, Elsevier, 2017.

BibTeX | Tags: CADUSY, Formal methods

26.

Zhang, Fan; Mazo Jr., Manuel ; van de Wouw, Nathan

Absolute Stabilization of Lur’e Systems Under Event-Triggered Feedback Inproceedings

In: IFAC-PapersOnline, pp. 15301–15306, Elsevier, 2017.

BibTeX | Tags: NCS

27.

Fu, Anqi; Mazo Jr., Manuel

Asynchronous mix-triggered control Inproceedings

In: 2017 13th IEEE International Conference on Control & Automation (ICCA), pp. 230–235, IEEE 2017.

BibTeX | Tags: NCS

28.

Zamani, Majid; Dey, Soumyajit; Mohamed, Sajid; Dasgupta, Pallab; Mazo Jr., Manuel

Scheduling of controllers’ update-rates for residual bandwidth utilization Inproceedings

In: International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), pp. 85–101, Springer, Cham 2016.

Links | BibTeX | Tags: NCS

29.

Sharifi-Kolarijani, Arman; Mazo Jr., Manuel ; Keviczky, Tamás

Timing Abstraction of Perturbed LTI systems with ℒ 2-based Event-Triggering Mechanism Inproceedings

In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1364–1369, IEEE 2016.

BibTeX | Tags: Formal methods, NCS

30.

Fu, Anqi; Mazo Jr., Manuel

Periodic asynchronous event-triggered control Inproceedings

In: 2016 IEEE 55th Conference on Decision and Control (CDC), pp. 1370–1375, IEEE 2016.

BibTeX | Tags: NCS

31.

Fu, Anqi; Mazo Jr., Manuel

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

In: 2016 European Control Conference (ECC), pp. 995–1000, IEEE 2016.

BibTeX | Tags: NCS

32.

Fu, Anqi; Mazo Jr., Manuel

Advances on asynchronous event-triggered control Inproceedings

In: 2015 International Conference on Event-based Control, Communication, and Signal Processing (EBCCSP), pp. 1–4, IEEE 2015.

BibTeX | Tags: NCS

33.

Sharifi-Kolarijani, Arman; Adzkiya, Dieky; Mazo Jr., Manuel

Symbolic abstractions for the scheduling of event-triggered control systems Inproceedings

In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 6153–6158, IEEE 2015.

BibTeX | Tags: Formal methods, NCS

34.

Santos, Carlos; Espinosa, Felipe; Santiso, Enrique; Martín, Miguel; Mazo Jr., Manuel

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

In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp. 1983–1988, IEEE 2015.

BibTeX | Tags: NCS, Robotics

35.

Zamani, Majid; Mazo Jr., Manuel ; Abate, Alessandro

Finite abstractions of networked control systems Inproceedings

In: 53rd IEEE Conference on Decision and Control, pp. 95–100, IEEE 2014.

BibTeX | Tags: Formal methods, NCS

36.

Rungger, Matthias; Mazo Jr., Manuel ; Tabuada, Paulo

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

In: Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 333–342, ACM 2013.

BibTeX | Tags: Formal methods

37.

Mazo Jr., Manuel ; Cao, Ming

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

In: 2013 American Control Conference, pp. 4393–4398, IEEE 2013.

BibTeX | Tags: Formal methods

38.

de Roo, Froukje; Mazo Jr., Manuel

On symbolic optimal control via approximate simulation relations Inproceedings

In: 52nd IEEE Conference on Decision and Control, pp. 3205–3210, IEEE 2013.

BibTeX | Tags: Formal methods

39.

Mazo Jr., Manuel ; Cao, Ming

Decentralized event-triggered control with one bit communications Inproceedings

In: IFAC Proceedings Volumes (Analysis and Design of Hybrid Systems, ADHS 2012), pp. 52–57, Elsevier, 2012.

BibTeX | Tags: NCS

40.

Santos, Carlos; Mazo Jr., Manuel ; Espinosa, Felipe

Adaptive self-triggered control of a remotely operated robot Inproceedings

In: Conference Towards Autonomous Robotic Systems, pp. 61–72, Springer, Berlin, Heidelberg 2012.

BibTeX | Tags: NCS

41.

Rungger, Matthias; Mazo Jr., Manuel ; Tabuada, Paulo

Scaling up controller synthesis for linear systems and safety specifications Inproceedings

In: Decision and Control. CDC12, Proceedings of the 51st IEEE Conference on, IEEE 2012.

BibTeX | Tags: Formal methods

42.

Araújo, Jose; Fawzi, Hamza; Mazo Jr., Manuel ; Tabuada, Paulo; Johansson, Karl H

An improved self-triggered implementation for linear controllers Inproceedings

In: IFAC Proceedings Volumes (NecSys 2012), pp. 37–42, Elsevier, 2012.

BibTeX | Tags: NCS

43.

Araújo, José; Anta, Adolfo; Mazo Jr., Manuel ; Faria, Joao; Hernandez, Aitor; Tabuada, Paulo; Johansson, Karl H

Self-triggered control for industrial wireless sensor and actuator networks Inproceedings

In: Workshop on Real-Time Wireless for Industrial Applications at CPSWEEK, Chicago, IL, 2011.

BibTeX | Tags: NCS

44.

Mazo Jr., Manuel ; Cao, Ming

Decentralized Event-triggered Control with Asynchronous Updates Inproceedings

In: Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, pp. 2547–2552, IEEE 2011.

BibTeX | Tags: NCS

45.

Araújo, José; Anta, Adolfo; Mazo Jr., Manuel ; Faria, Joao; Hernandez, Aitor; Tabuada, Paulo; Johansson, Karl H

Self-triggered control over wireless sensor and actuator networks Inproceedings

In: Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on, pp. 1–9, IEEE 2011.

BibTeX | Tags: NCS

46.

Mazo Jr., Manuel ; Tabuada, Paulo

Approximate time-optimal control via approximate alternating simulations Inproceedings

In: Proceedings of the 2010 American Control Conference, pp. 1009–1014, IEEE 2010.

BibTeX | Tags: Formal methods

47.

Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo

Pessoa: A tool for embedded controller synthesis Inproceedings

In: Computer Aided Verification, pp. 566–569, Springer 2010.

BibTeX | Tags: Formal methods

48.

Mazo Jr., Manuel ; Davitian, Anna; Tabuada, Paulo

PESSOA: towards the automatic synthesis of correct-by-design control software Inproceedings

In: Work-in-Progress HSCC 2010, 2010.

BibTeX | Tags: Formal methods

49.

Mazo Jr., Manuel ; Tabuada, Paulo

Towards decentralized event-triggered implementations of centralized control laws Inproceedings

In: Proceedings of International Workshop on Networks of Cooperating Objects. Stockholm, Sweden, 2010.

BibTeX | Tags: NCS

50.

Mazo Jr., Manuel ; Anta, Adolfo; Tabuada, Paulo

On self-triggered control for linear systems: Guarantees and complexity Inproceedings

In: 2009 European Control Conference (ECC), pp. 3767–3772, IEEE 2009.

BibTeX | Tags: NCS

66 entries « 1 of 2 »