Skip to main content

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 »