José Araújo

Dr. José Araújo


Research Focus & Metrics

Academic Career Length

17Years (2010-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
13 May 2013 in IEEE Transactions on Industrial Informatics
Verified
Journal Article
Closed access
JAJosé Araújo
José Araújo
MEManuel Mazo Espinosa
Manuel Mazo Espinosa
AAAdolfo Anta
Adolfo Anta
PTPaulo Tabuada
Paulo Tabuada
KJKarl H. Johansson
Karl H. Johansson
Wide deployment of wireless sensor and actuator networks in cyber-physical systems requires systematic design tools to enable dynamic tradeoff of network resources and control performance. In this paper, we consider three recently proposed aperiodic control algorithms which have the potential to address this problem. By showing how these controllers can be implemented over the IEEE 802.15.4 standard, a practical wireless control system architecture with guaranteed closed-loop performance is detailed. Event-based predictive and hybrid sensor and actuator communication schemes are compared with respect to their capabilities and implementation complexity. A two double-tank laboratory experimental setup, mimicking some typical industrial process control loops, is used to demonstrate the applicability of the proposed approach. Experimental results show how the sensor communication adapts to the changing demands of the control loops and the network resources, allowing for lower energy consumption and efficient bandwidth utilization.

1 April 2011
Verified
Conference Paper
Closed access
Pangun ParkPangun Park
Pangun Park
JAJosé Araújo
José Araújo
KJKarl Henrik Johansson
Karl Henrik Johansson
A framework for the joint design of wireless network and controllers is proposed. Multiple control systems are considered where the sensor measurements are transmitted to the controller over the IEEE 802.15.4 protocol. The essential issues of wireless networked control systems (NCSs) are investigated to provide an abstraction of the wireless network for a co-design approach. We first present an analytical model of the packet loss probability and delay of a IEEE 802.15.4 network. Through optimal control techniques we derive the control cost as a function of the packet loss probability and delay. Simulation results show the feasible control performance. It is shown that the optimal traffic load is similar when the communication throughput or control cost are optimized. The co-design approach is based on a constrained optimization problem, for which the objective function is the energy consumption of the network and the constraints are the packet loss probability and delay, which are derived from the desired control cost. The co-design is illustrated through a numerical example.

1 June 2011
Verified
Conference Paper
Closed access
JAJosé Araújo
José Araújo
AAAdolfo Anta
Adolfo Anta
MEManuel Mazo Espinosa
Manuel Mazo Espinosa
JFJoao Faria
Joao Faria
AHAitor Hernandez
Aitor Hernandez
KJKarl H. Johansson
Karl H. Johansson
Energy and communication bandwidth are scarce resources in wireless sensor and actuator networks. Recent research efforts considered the control of physical processes over such resource limited networks. Most of the existing literature addressing this topic is dedicated to periodically sampled control loops and scheduled communication, because it simplifies the analysis and the implementation. We propose instead an aperiodic network transmission scheme that reduces the number of transmission instances for the sensor and control nodes, thereby reducing energy consumption and increasing network lifetime, without sacrificing control performance. As an added benefit, we show the possibility of dynamically allocating the network bandwidth based on the physical system state and the available resources. In order to allow timely, reliable, and energy efficient communication, we propose a new co-design framework for the wireless medium access control, compatible with the IEEE 802.15.4 standard. Furthermore, we validate our approach in a real wireless networked control implementation.

9 April 2013
Verified
Conference Paper
Open access
PDF file
YSYasser Shoukry
Yasser Shoukry
JAJosé Araújo
José Araújo
PTPaulo Tabuada
Paulo Tabuada
MSMani Srivastava
Mani Srivastava
KJKarl H. Johansson
Karl H. Johansson
The control of physical systems is increasingly being done by resorting to networks to transmit information from sensors to controllers and from controllers to actuators. Unfortunately, this reliance on networks also brings new security vulnerabilities for control systems. We study the extent to which an adversary can attack a physical system by tampering with the temporal characteristics of the network, leading to time-varying delays and more importantly by changing the order in which packets are delivered. We show that such attack can destabilize a system if the controller was not designed to be robust with respect to an adversarial scheduling of messages. Although one can always store delayed messages in a buffer so as to present them to the control algorithm in the order they were sent and with a constant delay, such design is overly conservative. Instead, we design a controller that makes the best possible use of the received packets in a minimax sense. The proposed design has the same worst case performance as a controller based on a buffer but has better performance whenever there is no attack or the attacker does not play the optimal attack strategy.

1 November 2013
Verified
Conference Paper
Closed access
BABehdad Aminian
Behdad Aminian
JAJosé Araújo
José Araújo
MJMikael Johansson
Mikael Johansson
KJKarl H. Johansson
Karl H. Johansson
The increasing demand for wireless cyber-physical systems requires correct design, implementation and validation of computation, communication and control methods. Traditional simulation tools, which focus on either computation, communication or control, are insufficient when the three aspects interact. Efforts to extend the traditional tools to cover multiple domains, e.g., from simulating only control aspects to simulating both control and communication, often rely on simplistic models of a small subset of possible communication solutions. We introduce GISOO, a virtual testbed for simulation of wireless cyber-physical systems that integrates two state-of-the art simulators, Simulink and COOJA. GISOO enables users to evaluate actual embedded code for the wireless nodes in realistic cyber-physical experiments, observing the effects of both the control and communication components. In this way, a wide range of communication solutions can be evaluated without developing abstract models of their control-relevant aspects, and changes made to the networking code in simulations is guaranteed to be translated into production code without errors. A double-tank laboratory experimental setup controlled over a multi-hop relay wireless network is used to validate GISOO and demonstrate its features.

1 June 2011
Verified
Conference Paper
Closed access
FAFaisal Altaf
Faisal Altaf
JAJosé Araújo
José Araújo
AHAitor Hernandez
Aitor Hernandez
HSHenrik Sandberg
Henrik Sandberg
KJKarl Henrik Johansson
Karl Henrik Johansson
This paper studies the design and real-time implementation of an event-triggered controller for a nonlinear 3D tower crane where the communication between the controller and the actuators is performed over a low-power wireless network. A flexible Event-Generation Circuit (EGC) is proposed in order to implement event-driven controllers for Networked Control Systems. Furthermore, a detailed experimental analysis on the performance of the event-triggered controller and the influence of packet losses on the transmitted actuation messages are presented. The results show that the event-triggered controllers in networked control systems are able to maintain the same level of performance as compared to periodic controllers, while increasing the sensors/actuators lifetime by reducing network bandwidth utilization.