Publications

If you can’t find the preprint you’re looking for below, please try on the TU Delft repository, ORCiD, or GoogleScholar via the linked logos above.

93 entries « 4 of 5 »

2014

61.

Araújo, José; Jr., Manuel Mazo; 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, vol. 10, no. 1, pp. 175–184, 2014.

BibTeX | Tags: NCS

62.

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

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

In: Robotics and Autonomous Systems, vol. 62, no. 6, pp. 847–854, 2014.

BibTeX | Tags: NCS, Robotics

63.

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

Finite abstractions of networked control systems Proceedings Article

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

BibTeX | Tags: Formal methods, NCS

2013

64.

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

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

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

BibTeX | Tags: Formal methods

65.

Jr., Manuel Mazo; Cao, Ming

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

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

BibTeX | Tags: Formal methods

66.

de Roo, Froukje; Jr., Manuel Mazo

On symbolic optimal control via approximate simulation relations Proceedings Article

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

BibTeX | Tags: Formal methods

2012

67.

Jr., Manuel Mazo; Cao, Ming

Decentralized event-triggered control with one bit communications Proceedings Article

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

BibTeX | Tags: NCS

68.

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

Adaptive self-triggered control of a remotely operated robot Proceedings Article

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

BibTeX | Tags: NCS

69.

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

Scaling up controller synthesis for linear systems and safety specifications Proceedings Article

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

BibTeX | Tags: Formal methods

70.

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

An improved self-triggered implementation for linear controllers Proceedings Article

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

BibTeX | Tags: NCS

2011

71.

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

Symbolic models for nonlinear control systems without stability assumptions Journal Article

In: Automatic Control, IEEE Transactions on, vol. 57, no. 7, pp. 1804–1809, 2011, ISSN: 1558-2523.

BibTeX | Tags: Formal methods | Links:

72.

Jr., Manuel Mazo; Tabuada, Paulo

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

In: Automatic Control, IEEE Transactions on, vol. 56, no. 10, pp. 2456–2461, 2011, ISBN: 1558-2523.

BibTeX | Tags: NCS | Links:

73.

Jr., Manuel Mazo

NP ne NDP Miscellaneous

Control Systems Magazine (Feedback), 2011.

BibTeX | Tags: | Links:

74.

Jr., Manuel Mazo; Tabuada, Paulo

Symbolic approximate time-optimal control Journal Article

In: Systems & Control Letters, vol. 60, no. 4, pp. 256–263, 2011.

BibTeX | Tags: Formal methods

75.

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

Self-triggered control for industrial wireless sensor and actuator networks Proceedings Article

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

BibTeX | Tags: NCS

76.

Jr., Manuel Mazo; Cao, Ming

Decentralized Event-triggered Control with Asynchronous Updates Proceedings Article

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

BibTeX | Tags: NCS

77.

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

Self-triggered control over wireless sensor and actuator networks Proceedings Article

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

BibTeX | Tags: NCS

2010

78.

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

An ISS self-triggered implementation of linear controllers Journal Article

In: Automatica, vol. 46, no. 8, pp. 1310 - 1314, 2010, ISSN: 0005-1098.

Abstract | BibTeX | Tags: NCS | Links:

79.

Jr., Manuel Mazo

Contributions to the Control of Networked Cyber-physical Systems PhD Thesis

University of California Los Angeles, 2010.

BibTeX | Tags: NCS

80.

Jr., Manuel Mazo; Tabuada, Paulo

Approximate time-optimal control via approximate alternating simulations Proceedings Article

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

BibTeX | Tags: Formal methods

93 entries « 4 of 5 »