This page has only limited features, please log in for full access.

Unclaimed
Iury V. Bessa
Federal University of Minas Gerais - Graduate Program in Electrical Engineering, Brazil

Honors and Awards

The user has no records in this section


Career Timeline

The user has no records in this section.


Short Biography

The user biography is not available.
Following
Followers
Co Authors
The list of users this user is following is empty.
Following: 0 users

Feed

Short communication
Published: 11 January 2021 in Automatica
Reads 0
Downloads 0

This paper describes a novel passivity/dissipativity based approach for fault tolerant control (FTC) of nonlinear systems by means of fault hiding, i.e., by inserting reconfiguration blocks (RBs) between the plant and controller to mitigate the fault effects. The proposed approach is used to design a new kind of RB, called passivation block (PB), which is generically employed for sensor and actuator faults and achieves simultaneously series, feedback and feedfoward passivation of the controller during a fault occurrence. Based on the dissipativity theory, new conditions are obtained to design a dynamic PB (DPB) which requires minimum information on the system model. In particular, the proposed DPB can be systematically obtained by combining the LMI-based conditions based on the knowledge about the passivity indices. Numerical simulations are carried out and indicate that the PBs are able to stabilize an example of a faulty nonlinear system.

ACS Style

Iury Bessa; Vicenç Puig; Reinaldo Martínez Palhares. Passivation blocks for fault tolerant control of nonlinear systems. Automatica 2021, 125, 109450 .

AMA Style

Iury Bessa, Vicenç Puig, Reinaldo Martínez Palhares. Passivation blocks for fault tolerant control of nonlinear systems. Automatica. 2021; 125 ():109450.

Chicago/Turabian Style

Iury Bessa; Vicenç Puig; Reinaldo Martínez Palhares. 2021. "Passivation blocks for fault tolerant control of nonlinear systems." Automatica 125, no. : 109450.

Journal article
Published: 13 August 2020 in Applied Soft Computing
Reads 0
Downloads 0

This paper proposes a novel Error Based Evolving Takagi–Sugeno Fuzzy Model (EBeTS) and a new data-driven approach to fault prognostics based on that fuzzy model. The proposed evolving Takagi–Sugeno (TS) model is useful for fault prognostics when the degradation phenomena exhibit nonlinear and time-varying dynamics because the model can represent these characteristics. Since it is an evolving model, it learns the degradation behavior from stream data, although historical data can be used to improve it. Two well-established benchmarks are used to evaluate the EBeTS model and the proposed EBeTS-based prognostics approach. The experiments indicate that the proposed EBeTS-based prognostics approach can take advantage of both historical and new online data to estimate the Remaining Useful Life (RUL) and its uncertainties. Moreover, in most of the cases, it may outperform other methods that do not manage estimation errors and new data incorporation, e.g., fuzzy interacting multiple filters (IMMF) models, Evolving Extended Takagi–Sugeno (exTS) models, and Autoregressive Moving Average (ARMA) model models.

ACS Style

Murilo Osorio Camargos; Iury Bessa; Marcos Flávio Silveira Vasconcelos D’Angelo; Luciana Balieiro Cosme; Reinaldo Martínez Palhares. Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi–Sugeno Fuzzy Model. Applied Soft Computing 2020, 96, 106628 .

AMA Style

Murilo Osorio Camargos, Iury Bessa, Marcos Flávio Silveira Vasconcelos D’Angelo, Luciana Balieiro Cosme, Reinaldo Martínez Palhares. Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi–Sugeno Fuzzy Model. Applied Soft Computing. 2020; 96 ():106628.

Chicago/Turabian Style

Murilo Osorio Camargos; Iury Bessa; Marcos Flávio Silveira Vasconcelos D’Angelo; Luciana Balieiro Cosme; Reinaldo Martínez Palhares. 2020. "Data-driven prognostics of rolling element bearings using a novel Error Based Evolving Takagi–Sugeno Fuzzy Model." Applied Soft Computing 96, no. : 106628.

Journal article
Published: 04 August 2020 in ISA Transactions
Reads 0
Downloads 0

In this work, a novel methodology for tuning fractional order controller, so-called fractional order pole placement (FOPP) is proposed. The proposed methodology extends classical (integer order) pole placement technique, using commensurable transfer functions for representing fractional order controllers and placing the fractional dominant poles within an extended stability region based on three terms fractional transfer functions. The designed fractional order controller can be digitally implemented by using the Oustaloup integer approximation of the fractional order dynamics with Hankel model reduction. The proposed FOPP is used to design fractional order controllers for a DC/DC buck converter. The experimental tests include comparisons between the proposed FOPP and other tuning methodologies for integer and fractional order controllers for the DC/DC buck converter that is subject to load, parametric, and load variations. Integral indices are computed to aid the assessment of the control strategies with respect to the robustness, performance specification compliance, and control effort. The results show that the proposed method outperforms the other approaches when occurs the variations.

ACS Style

Florindo A. De C. Ayres; Iury Valente de Bessa; Vinicius Matheus Batista Pereira; Nei Junior Da Silva Farias; Alessandra Ribeiro de Menezes; Renan L.P. de Medeiros; João Edgar Chaves; Marcelo K. Lenzi; Carlos Tavares da Costa. Fractional Order Pole Placement for a buck converter based on commensurable transfer function. ISA Transactions 2020, 107, 370 -384.

AMA Style

Florindo A. De C. Ayres, Iury Valente de Bessa, Vinicius Matheus Batista Pereira, Nei Junior Da Silva Farias, Alessandra Ribeiro de Menezes, Renan L.P. de Medeiros, João Edgar Chaves, Marcelo K. Lenzi, Carlos Tavares da Costa. Fractional Order Pole Placement for a buck converter based on commensurable transfer function. ISA Transactions. 2020; 107 ():370-384.

Chicago/Turabian Style

Florindo A. De C. Ayres; Iury Valente de Bessa; Vinicius Matheus Batista Pereira; Nei Junior Da Silva Farias; Alessandra Ribeiro de Menezes; Renan L.P. de Medeiros; João Edgar Chaves; Marcelo K. Lenzi; Carlos Tavares da Costa. 2020. "Fractional Order Pole Placement for a buck converter based on commensurable transfer function." ISA Transactions 107, no. : 370-384.

Journal article
Published: 24 July 2020 in Energies
Reads 0
Downloads 0

This paper presents a novel direct form to design a digital robust control using RST structure (i.e., name given because of the R, S and T polynomials computed) based on convex optimization such as Chebyshev sphere; this approach was applied to a DC-DC Buck converter. This methodology takes into account parametric uncertainties and a Chebyshev sphere constraint in order to ensure robust performance and stability of the system in the discrete domain. For this purpose, a mathematical model for the DC-DC Buck converter is presented when considering uncertainties in electrical variables, such as load resistance, inductance, capacitance, and source voltage variation, also to obtain the discrete model of the system by using the bilinear transformation. The proposed methodology is compared with two other approaches designed in a discrete domain: the classical pole placement and the robust methodology based on the Kharitonov theorem. Wide-ranging experiments are performed in order to evaluate the behavior of the control methodologies when the system is subject to parametric variations of the load resistance and voltage setpoint variation. The results show that the proposed methodology outperforms the other approaches in 90% of the tests and ensures robust stability and robust performance when the system is subjected to a parametric uncertainties family.

ACS Style

Cleonor Das Neves; Walter B.; Renan De Medeiros; Florindo Ayres Junior; Iury Bessa; Isaías Bessa; Gabriela De M. Veroneze; Luiz E Silva; Nei Farias. Direct Form Digital Robust RST Control Based on Chebyshev Sphere Optimization Applied in a DC-DC Power Converter. Energies 2020, 13, 3810 .

AMA Style

Cleonor Das Neves, Walter B., Renan De Medeiros, Florindo Ayres Junior, Iury Bessa, Isaías Bessa, Gabriela De M. Veroneze, Luiz E Silva, Nei Farias. Direct Form Digital Robust RST Control Based on Chebyshev Sphere Optimization Applied in a DC-DC Power Converter. Energies. 2020; 13 (15):3810.

Chicago/Turabian Style

Cleonor Das Neves; Walter B.; Renan De Medeiros; Florindo Ayres Junior; Iury Bessa; Isaías Bessa; Gabriela De M. Veroneze; Luiz E Silva; Nei Farias. 2020. "Direct Form Digital Robust RST Control Based on Chebyshev Sphere Optimization Applied in a DC-DC Power Converter." Energies 13, no. 15: 3810.

Journal article
Published: 25 May 2020 in Energies
Reads 0
Downloads 0

The DC microgrid system is composed by converters that operate like feeders and loads. Among these loads, we highlight the constant power loads (CPLs) that may cause instability in the microgrid, observed in the form of undesired oscillations due to its negative impedance behavior. Therefore, this work proposes to use performance indices and stability margins to evaluate state and output feedback control strategies for stabilization of DC microgrids. In particular, it is proposed to evaluate the stability margin of the proposed methodologies by means of the impedance relations in the microgrid based on the Middlebrook criterion. Our simulations and tests showed the relation between the performance and stability degradation and the microgrid impedances variation.

ACS Style

Isaías V. De Bessa; Renan L. P. De Medeiros; Iury Bessa; Florindo A. C. Ayres Junior; Alessandra R. De Menezes; Gustavo M. Torres; João Edgar Chaves Filho. Comparative Study of Control Strategies for Stabilization and Performance Improvement of DC Microgrids with a CPL Connected. Energies 2020, 13, 2663 .

AMA Style

Isaías V. De Bessa, Renan L. P. De Medeiros, Iury Bessa, Florindo A. C. Ayres Junior, Alessandra R. De Menezes, Gustavo M. Torres, João Edgar Chaves Filho. Comparative Study of Control Strategies for Stabilization and Performance Improvement of DC Microgrids with a CPL Connected. Energies. 2020; 13 (10):2663.

Chicago/Turabian Style

Isaías V. De Bessa; Renan L. P. De Medeiros; Iury Bessa; Florindo A. C. Ayres Junior; Alessandra R. De Menezes; Gustavo M. Torres; João Edgar Chaves Filho. 2020. "Comparative Study of Control Strategies for Stabilization and Performance Improvement of DC Microgrids with a CPL Connected." Energies 13, no. 10: 2663.

Journal article
Published: 11 May 2020 in ISA Transactions
Reads 0
Downloads 0

This paper presents a robust Fault-Tolerant Control (FTC) methodology for the design of virtual sensors and virtual actuators for discrete-time Linear Parameter Varying (LPV) systems. Conditions based on Linear Matrix Inequalities (LMIs) are proposed for the synthesis of a reconfiguration block composed of a virtual actuator and a virtual sensor, guaranteeing input-to-state stability (ISS). The main contribution of the proposed FTC approach is to deal with LPV models where input and output matrices can be parameter-dependent. Moreover, differently from results found in the literature, a single reconfiguration block can be designed to be robust to different kinds and magnitudes of faults. Real-time level-control experiments illustrate the efficiency of the proposed procedure; the system used in the experiments consists of a nonlinear two coupled tanks with two inputs and two outputs, represented by an LPV model subject to sensor and actuator faults. Experimental results and comparisons with results in the literature indicate that the proposed approach is able to mitigate the fault effects with better performance indices than the literature approaches.

ACS Style

Mariella Maia Quadros; Iury Valente de Bessa; Valter J.S. Leite; Reinaldo Martinez Palhares. Fault tolerant control for linear parameter varying systems: An improved robust virtual actuator and sensor approach. ISA Transactions 2020, 104, 356 -369.

AMA Style

Mariella Maia Quadros, Iury Valente de Bessa, Valter J.S. Leite, Reinaldo Martinez Palhares. Fault tolerant control for linear parameter varying systems: An improved robust virtual actuator and sensor approach. ISA Transactions. 2020; 104 ():356-369.

Chicago/Turabian Style

Mariella Maia Quadros; Iury Valente de Bessa; Valter J.S. Leite; Reinaldo Martinez Palhares. 2020. "Fault tolerant control for linear parameter varying systems: An improved robust virtual actuator and sensor approach." ISA Transactions 104, no. : 356-369.

Journal article
Published: 01 May 2020 in Journal of the Franklin Institute
Reads 0
Downloads 0
ACS Style

Iury Bessa; Vicenç Puig; Reinaldo Martinez Palhares. TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems. Journal of the Franklin Institute 2020, 357, 4592 -4623.

AMA Style

Iury Bessa, Vicenç Puig, Reinaldo Martinez Palhares. TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems. Journal of the Franklin Institute. 2020; 357 (8):4592-4623.

Chicago/Turabian Style

Iury Bessa; Vicenç Puig; Reinaldo Martinez Palhares. 2020. "TS fuzzy reconfiguration blocks for fault tolerant control of nonlinear systems." Journal of the Franklin Institute 357, no. 8: 4592-4623.

Article
Published: 05 February 2020 in Journal of Control, Automation and Electrical Systems
Reads 0
Downloads 0

We describe and evaluate a novel approach to formally verify whether a digital control system meets specifications related to step response parameters. In particular, we obtain a state feedback controller designed for a system represented by a state-space model. Then, we analyze whether its required specifications regarding settling time and maximum overshoot are met, using both open- and closed-loop forms and considering finite-word-length (FWL) effects for the latter. We developed our verification approaches inside DSVerifier, which is a verification tool that employs bounded (and unbounded) model checking based on satisfiability modulo theories. Thus, DSVerifier checks performance requirements of digital control systems considering fragility, such as round-off and numerical quantization errors. Our approaches were also evaluated over a set of standard control-system benchmarks extracted from the control literature. Experimental results show that DSVerifier can check settling time and overshoot in control systems suffering from FWL effects, while other existing approaches routinely ignore those issues.

ACS Style

Thiago Cavalcante; Iury Bessa; Eddie Batista De Lima Filho; Lucas Cordeiro. Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems. Journal of Control, Automation and Electrical Systems 2020, 31, 557 -573.

AMA Style

Thiago Cavalcante, Iury Bessa, Eddie Batista De Lima Filho, Lucas Cordeiro. Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems. Journal of Control, Automation and Electrical Systems. 2020; 31 (3):557-573.

Chicago/Turabian Style

Thiago Cavalcante; Iury Bessa; Eddie Batista De Lima Filho; Lucas Cordeiro. 2020. "Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems." Journal of Control, Automation and Electrical Systems 31, no. 3: 557-573.

Journal article
Published: 01 January 2020 in IFAC-PapersOnLine
Reads 0
Downloads 0

This paper presents a two-phase hybrid prognostics approach; in the first phase, the model’s parameters are estimated using available training data in the least squares sense using the Levenberg-Marquardt algorithm. The second phase consists of using a particle filter to update the knowledge acquired so far and to predict future states of the system using in the Bayesian sense. The approach is used for an accelerated ball bearing data set, the PRONOSTIA platform, where a general fractional polynomial model is proposed as degradation model. The results of the Remaining Useful Life estimation are compared with another work in the literature, indicating its suitability and competitiveness for prognostics in this data set.

ACS Style

Murilo Osorio Camargos; Iury Bessa; Marcos Flávio Silveira Vasconcelos D’Angelo; Reinaldo Martinez Palhares. Fault Prognostics of Rolling Bearings Using a Hybrid Approach. IFAC-PapersOnLine 2020, 53, 4082 -4087.

AMA Style

Murilo Osorio Camargos, Iury Bessa, Marcos Flávio Silveira Vasconcelos D’Angelo, Reinaldo Martinez Palhares. Fault Prognostics of Rolling Bearings Using a Hybrid Approach. IFAC-PapersOnLine. 2020; 53 (2):4082-4087.

Chicago/Turabian Style

Murilo Osorio Camargos; Iury Bessa; Marcos Flávio Silveira Vasconcelos D’Angelo; Reinaldo Martinez Palhares. 2020. "Fault Prognostics of Rolling Bearings Using a Hybrid Approach." IFAC-PapersOnLine 53, no. 2: 4082-4087.

Journal article
Published: 01 January 2020 in IFAC-PapersOnLine
Reads 0
Downloads 0

This paper addresses the problem of dissipativity-based fault tolerant control (FTC) based on fault hiding approach. In particular, a static reconfiguration block (RB) is used for reconfiguration of faulty systems. Such block performs a loop transformation by inserting series, feedback, and feedforward gains to a system including plant, sensor or actuator faults. The proposed approach consists in recovering dissipativity and passivity conditions of a previously dissipative system, ensuring that the reconfigured system has the same supply function of the nominal system. Numerical examples illustrate how such approach can be used to recover the asymptotic stability by fault hiding even for nonlinear systems. Furthermore, LMI-based conditions for designing the proposed RB are provided for stability recovery for linear systems.

ACS Style

Iury Bessa; Murilo Osorio Camargos; Vicençc Puig; Reinaldo Martinez Palhares. Dissipativity and Stability Recovery by Fault Hiding. IFAC-PapersOnLine 2020, 53, 4121 -4126.

AMA Style

Iury Bessa, Murilo Osorio Camargos, Vicençc Puig, Reinaldo Martinez Palhares. Dissipativity and Stability Recovery by Fault Hiding. IFAC-PapersOnLine. 2020; 53 (2):4121-4126.

Chicago/Turabian Style

Iury Bessa; Murilo Osorio Camargos; Vicençc Puig; Reinaldo Martinez Palhares. 2020. "Dissipativity and Stability Recovery by Fault Hiding." IFAC-PapersOnLine 53, no. 2: 4121-4126.

Original article
Published: 06 December 2019 in Acta Informatica
Reads 0
Downloads 0

We present a sound and automated approach to synthesizing safe, digital controllers for physical plants represented as time-invariant models. Models are linear differential equations with inputs, evolving over a continuous state space. The synthesis precisely accounts for the effects of finite-precision arithmetic introduced by the controller. The approach uses counterexample-guided inductive synthesis: an inductive generalization phase produces a controller that is known to stabilize the model but that may not be safe for all initial conditions of the model. Safety is then verified via bounded model checking: if the verification step fails, a counterexample is provided to the inductive generalization, and the process further iterates until a safe controller is obtained. We demonstrate the practical value of this approach by automatically synthesizing safe controllers for physical plant models from the digital control literature.

ACS Style

Alessandro Abate; Iury Bessa; Lucas Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen. Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 2019, 57, 223 -244.

AMA Style

Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen. Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica. 2019; 57 (1):223-244.

Chicago/Turabian Style

Alessandro Abate; Iury Bessa; Lucas Cordeiro; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen. 2019. "Automated formal synthesis of provably safe digital controllers for continuous plants." Acta Informatica 57, no. 1: 223-244.

Review article
Published: 18 September 2019 in IET Cyber-Physical Systems: Theory & Applications
Reads 0
Downloads 0

Dependency on the correct operation of embedded systems is rapidly growing, mainly due to their wide range of applications. Their structures are becoming more complex and currently require multi-core processors with scalable shared memory, signal-processing pipelines, and sophisticated software modules to meet increasing computational power, flexibility demands. Additionally, interaction with real-world entities and modern communication capabilities further enhance the mentioned features and give rise to the embedded and cyber-physical systems (ECPS). As a consequence, the reliability of ECPS becomes a key issue during system development. Generally, state-of-the-art verification methodologies for ECPS generate test vectors and use assertion-based verification and high-level processor models, during simulation; however, new challenges arose, such as need for meeting time and energy constraints, handling concurrent software, evaluating implementation-structure choices, ensuring correct system behavior together with physical plants, and supporting new software architectures and legacy designs. This survey deals with the mentioned issues, reviews related literature, and discusses recent advances in symbolic model checking techniques and their applications to control synthesis. Additionally, challenges, problems, and recent advances to ensure correctness and timeliness, regarding ECPS, are discussed. Reliability issues, when developing ECPS, are then considered, as a prominent verification and synthesis application for achieving correct-by-construction systems.

ACS Style

Lucas C. Cordeiro; Eddie B. De Lima Filho; Iury V. Bessa. Survey on automated symbolic verification and its application for synthesising cyber‐physical systems. IET Cyber-Physical Systems: Theory & Applications 2019, 5, 1 -24.

AMA Style

Lucas C. Cordeiro, Eddie B. De Lima Filho, Iury V. Bessa. Survey on automated symbolic verification and its application for synthesising cyber‐physical systems. IET Cyber-Physical Systems: Theory & Applications. 2019; 5 (1):1-24.

Chicago/Turabian Style

Lucas C. Cordeiro; Eddie B. De Lima Filho; Iury V. Bessa. 2019. "Survey on automated symbolic verification and its application for synthesising cyber‐physical systems." IET Cyber-Physical Systems: Theory & Applications 5, no. 1: 1-24.

Journal article
Published: 22 August 2019 in IEEE Transactions on Fuzzy Systems
Reads 0
Downloads 0

Dealing with uncertain data requires effective methods to properly describe their real meaning in terms of a trade-off between interpretability and generality on the process of knowledge formation based on data abstraction. This paper proposes an online granulation process based on Evolving Ellipsoidal Fuzzy Information Granules (EEFIG) and the Principle of Justifiable Granularity (PJG) for data streams parameterization. The granulation process consists in the information granule development taking into consideration the data stream with a simplified optimal granularity allocation. In the sequel, an evolving Takagi-Sugeno fuzzy model based on the ellipsoidal granules is proposed for data reconstruction and one-step ahead prediction from past data numerical evidence. Experimental studies concerning clustering, data granulation, and time-series forecasting are performed to illustrate the effectiveness of the proposed method.

ACS Style

Luiz Alberto Queiroz Cordovil; Pedro Henrique Silva Coutinho; Iury Valente De Bessa; Marcos Flavio Silveira Vasconcelos D'angelo; Reinaldo Martinez Palhares. Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules. IEEE Transactions on Fuzzy Systems 2019, 28, 2427 -2436.

AMA Style

Luiz Alberto Queiroz Cordovil, Pedro Henrique Silva Coutinho, Iury Valente De Bessa, Marcos Flavio Silveira Vasconcelos D'angelo, Reinaldo Martinez Palhares. Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules. IEEE Transactions on Fuzzy Systems. 2019; 28 (10):2427-2436.

Chicago/Turabian Style

Luiz Alberto Queiroz Cordovil; Pedro Henrique Silva Coutinho; Iury Valente De Bessa; Marcos Flavio Silveira Vasconcelos D'angelo; Reinaldo Martinez Palhares. 2019. "Uncertain Data Modeling Based on Evolving Ellipsoidal Fuzzy Information Granules." IEEE Transactions on Fuzzy Systems 28, no. 10: 2427-2436.

Journal article
Published: 01 November 2018 in Science of Computer Programming
Reads 0
Downloads 0
ACS Style

Rodrigo F. Araújo; Higo F. Albuquerque; Iury V. De Bessa; Lucas C. Cordeiro; João E. Chaves Filho. Counterexample guided inductive optimization based on satisfiability modulo theories. Science of Computer Programming 2018, 165, 3 -23.

AMA Style

Rodrigo F. Araújo, Higo F. Albuquerque, Iury V. De Bessa, Lucas C. Cordeiro, João E. Chaves Filho. Counterexample guided inductive optimization based on satisfiability modulo theories. Science of Computer Programming. 2018; 165 ():3-23.

Chicago/Turabian Style

Rodrigo F. Araújo; Higo F. Albuquerque; Iury V. De Bessa; Lucas C. Cordeiro; João E. Chaves Filho. 2018. "Counterexample guided inductive optimization based on satisfiability modulo theories." Science of Computer Programming 165, no. : 3-23.

Journal article
Published: 24 October 2018 in IEEE Transactions on Reliability
Reads 0
Downloads 0

During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain, especially when it comes to the investigation of low-level implementation errors, which are related to digital controllers and hardware compatibility. The present study addresses the mentioned problems and proposes the application of a bounded model checking tool, named as Digital System Verifier (DSVerifier), to the verification of digital-system implementation issues, in order to investigate problems that emerge in digital controllers designed for UAV attitude systems. A verification methodology to search for implementation errors related to finite word-length effects (e.g., arithmetic overflows and limit cycles), in UAV attitude controllers, is presented, along with its evaluation, which aims to ensure correct-by-design systems. Experimental results show that low-level failures in UAV attitude control software used in aerial surveillance are identified by DSVerifier, which can also be used for developing sound and correct implementations, through its integration into development processes. Finally, given that the proposed approach handles C code and takes into account hardware specifications, it is suitable for verifying final controller implementations, which is a more practical scenario.

ACS Style

Lennon Chaves; Iury V. Bessa; HussamA Ismail; Adriano Bruno Dos Santos Frutuoso; Lucas Cordeiro; Eddie Batista De Lima Filho. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Transactions on Reliability 2018, 67, 1420 -1441.

AMA Style

Lennon Chaves, Iury V. Bessa, HussamA Ismail, Adriano Bruno Dos Santos Frutuoso, Lucas Cordeiro, Eddie Batista De Lima Filho. DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Transactions on Reliability. 2018; 67 (4):1420-1441.

Chicago/Turabian Style

Lennon Chaves; Iury V. Bessa; HussamA Ismail; Adriano Bruno Dos Santos Frutuoso; Lucas Cordeiro; Eddie Batista De Lima Filho. 2018. "DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles." IEEE Transactions on Reliability 67, no. 4: 1420-1441.

Journal article
Published: 08 October 2018 in IEEE Access
Reads 0
Downloads 0

This paper describes a simulator for the three-tank system process named Sim3Tanks. This process presents a hybrid and nonlinear behavior and it is subject to different kinds of perturbations, faults, and noises. Sim3Tanks was developed in the MATLAB/Simulink environment and can be used via graphical user interface, Simulink block diagram, and command-line. Sim3Tanks is suitable for studying and developing process control, fault detection and isolation, and fault tolerant control strategies for nonlinear multi-variable systems. In order to illustrate the potential of Sim3Tanks, four scenarios are discussed throughout this paper: PID control strategies for the level and flow rates; a fault detection algorithm based on unscented Kalman filter and generalized likelihood ratio; a fault isolation system based on Bayesian networks; and a control reconfiguration based on static virtual actuator and sensor. A video demonstration of Sim3Tanks can be found at https://github.com/e-controls/Sim3Tanks.

ACS Style

Arllem O. Farias; Gabriel Alisson C. Queiroz; Iury V. Bessa; Renan Landau P. Medeiros; Lucas C. Cordeiro; Reinaldo M. Palhares. Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access 2018, 6, 62234 -62254.

AMA Style

Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury V. Bessa, Renan Landau P. Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares. Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access. 2018; 6 (99):62234-62254.

Chicago/Turabian Style

Arllem O. Farias; Gabriel Alisson C. Queiroz; Iury V. Bessa; Renan Landau P. Medeiros; Lucas C. Cordeiro; Reinaldo M. Palhares. 2018. "Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring." IEEE Access 6, no. 99: 62234-62254.

Journal article
Published: 01 February 2018 in ISA Transactions
Reads 0
Downloads 0

This paper describes a novel robust decentralized control design methodology for a single inductor multiple output (SIMO) DC-DC converter. Based on a nominal multiple input multiple output (MIMO) plant model and performance requirements, a pairing input-output analysis is performed to select the suitable input to control each output aiming to attenuate the loop coupling. Thus, the plant uncertainty limits are selected and expressed in interval form with parameter values of the plant model. A single inductor dual output (SIDO) DC-DC buck converter board is developed for experimental tests. The experimental results show that the proposed methodology can maintain a desirable performance even in the presence of parametric uncertainties. Furthermore, the performance indexes calculated from experimental data show that the proposed methodology outperforms classical MIMO control techniques.

ACS Style

Renan Landau Paiva De Medeiros; Walter Barra; Iury Valente De Bessa; Joao Edgar Chaves Filho; Florindo Antonio De Cavalho Ayres; Cleonor Crescêncio Das Neves. Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode. ISA Transactions 2018, 73, 112 -129.

AMA Style

Renan Landau Paiva De Medeiros, Walter Barra, Iury Valente De Bessa, Joao Edgar Chaves Filho, Florindo Antonio De Cavalho Ayres, Cleonor Crescêncio Das Neves. Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode. ISA Transactions. 2018; 73 ():112-129.

Chicago/Turabian Style

Renan Landau Paiva De Medeiros; Walter Barra; Iury Valente De Bessa; Joao Edgar Chaves Filho; Florindo Antonio De Cavalho Ayres; Cleonor Crescêncio Das Neves. 2018. "Robust decentralized controller for minimizing coupling effect in single inductor multiple output DC-DC converter operating in continuous conduction mode." ISA Transactions 73, no. : 112-129.

Conference paper
Published: 01 January 2018 in Proceedings XXII Congresso Brasileiro de Automática
Reads 0
Downloads 0
ACS Style

Gabriel Alisson Costa Queiroz; Arllem De Oliveira Farias; Rodrigo Farias Araújo; Renan Landau Paiva De Medeiros; Iury Valente De Bessa. Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados. Proceedings XXII Congresso Brasileiro de Automática 2018, 1 .

AMA Style

Gabriel Alisson Costa Queiroz, Arllem De Oliveira Farias, Rodrigo Farias Araújo, Renan Landau Paiva De Medeiros, Iury Valente De Bessa. Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados. Proceedings XXII Congresso Brasileiro de Automática. 2018; ():1.

Chicago/Turabian Style

Gabriel Alisson Costa Queiroz; Arllem De Oliveira Farias; Rodrigo Farias Araújo; Renan Landau Paiva De Medeiros; Iury Valente De Bessa. 2018. "Modelagem e Controle por Escalonamento de Ganhos Descentralizado para um Sistema de Três Tanques Acoplados." Proceedings XXII Congresso Brasileiro de Automática , no. : 1.

Conference paper
Published: 11 November 2017 in Transactions on Petri Nets and Other Models of Concurrency XV
Reads 0
Downloads 0

This paper presents optimization through counterexamples (OptCE), which is a verification tool developed for optimizing target functions. In particular, OptCE employs bounded model checking techniques based on boolean satisfiability and satisfiability modulo theories, which are able to obtain global minima of convex and non-convex functions. OptCE is implemented in C/C\(++\), performs all optimization steps automatically, and iteratively analyzes counterexamples, in order to inductively achieve global optimization based on a verification oracle. Experimental results show that OptCE can effectively find optimal solutions for all evaluated benchmarks, while traditional techniques are usually trapped by local minima.

ACS Style

Higo F. Albuquerque; Rodrigo Araújo; Iury Bessa; Lucas C. Cordeiro; Eddie B. De Lima Filho. OptCE: A Counterexample-Guided Inductive Optimization Solver. Transactions on Petri Nets and Other Models of Concurrency XV 2017, 125 -141.

AMA Style

Higo F. Albuquerque, Rodrigo Araújo, Iury Bessa, Lucas C. Cordeiro, Eddie B. De Lima Filho. OptCE: A Counterexample-Guided Inductive Optimization Solver. Transactions on Petri Nets and Other Models of Concurrency XV. 2017; ():125-141.

Chicago/Turabian Style

Higo F. Albuquerque; Rodrigo Araújo; Iury Bessa; Lucas C. Cordeiro; Eddie B. De Lima Filho. 2017. "OptCE: A Counterexample-Guided Inductive Optimization Solver." Transactions on Petri Nets and Other Models of Concurrency XV , no. : 125-141.

Proceedings article
Published: 01 November 2017 in 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR)
Reads 0
Downloads 0

We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, in order to guide the optimization process and to ensure global optimization. This paper marks the first application of CEGIO for planning mobile robot path. In particular, CEGIO has been successfully applied to obtain optimal two-dimensional paths for autonomous mobile robots using off-the-shelf SAT and SMT solvers.

ACS Style

Rodrigo F. Araujo; Alexandre Ribeiro; Iury V. Bessa; Lucas C. Cordeiro; Joao E. C. Filho. Counterexample guided inductive optimization applied to mobile robots path planning. 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR) 2017, 1 -6.

AMA Style

Rodrigo F. Araujo, Alexandre Ribeiro, Iury V. Bessa, Lucas C. Cordeiro, Joao E. C. Filho. Counterexample guided inductive optimization applied to mobile robots path planning. 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR). 2017; ():1-6.

Chicago/Turabian Style

Rodrigo F. Araujo; Alexandre Ribeiro; Iury V. Bessa; Lucas C. Cordeiro; Joao E. C. Filho. 2017. "Counterexample guided inductive optimization applied to mobile robots path planning." 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR) , no. : 1-6.