Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where João M. C. Sousa is active.

Publication


Featured researches published by João M. C. Sousa.


World Scientific series in robotics and intelligent systems | 2002

Fuzzy decision making in modeling and control

João M. C. Sousa; Uzay Kaymak

Fuzzy Decision Making Fuzzy Decision Functions Fuzzy Aggregated Membership Control Modeling and Identification Fuzzy Decision Making for Modeling Fuzzy Model-Based Control Performance Criteria Model-Based Control with Fuzzy Decision Functions Derivative-Free Optimization Advanced Optimization Issues Application Example Future Developments Appendices: Model-Based Predictive Control Nonlinear Internal Model Control.


Control Engineering Practice | 1997

Fuzzy predictive control applied to an air-conditioning system

João M. C. Sousa; Robert Babuska; H.B. Verbruggen

Abstract A method of designing a nonlinear predictive controller based on a fuzzy model of the process is presented. The Takagi-Sugeno fuzzy model is used as a powerful structure for representing nonlinear dynamic systems. An identification technique which enables the acquisition of the fuzzy model from process measurements is described. The fuzzy model is incorporated as a predictor in a nonlinear model-based predictive controller, using the internal model control scheme to compensate for disturbances and modeling errors. Since the model is nonlinear, a non-convex optimization problem must be solved at each sampling period. An optimization approach is proposed, that alleviates the computational burden of iterative optimization techniques, by using a combination of a branch-and-bound search technique, applied in a discretized space of the control variable, with an inverted fuzzy model of the process. The algorithm is applied to temperature control in air-conditioning system. Comparisons with a nonlinear predictive control scheme based on iterative numerical optimization show that the proposed method requires fewer computations and achieves better performance. Real-time control results are presented.


Control Engineering Practice | 1997

Genetic algorithms for optimization in predictive control

C. Onnen; Robert Babuska; Uzay Kaymak; João M. C. Sousa; H.B. Verbruggen; Rolf Isermann

Abstract Genetic algorithms (GAs) are optimization methods inspired by natural biological evolution. GAs have been successfully applied to a variety of complex optimization problems where other techniques have often failed. The aim of this paper is to investigate the use of GAs for optimization in nonlinear model-based predictive control. Advanced genetic operators and other new features are introduced to increase the efficiency of the genetic search. In order to deal with real-time constraints, termination conditions are proposed to abort the evolution, once a defined level of optimality is reached. Simulated pressure dynamics of a batch fermenter are considered as an example of a highly nonlinear system. Simulation results with GAs are compared with the branch-and-bound method, in terms of the control accuracy and computational costs achieved.


Applied Soft Computing | 2013

Modified binary PSO for feature selection using SVM applied to mortality prediction of septic patients

Susana M. Vieira; Luís F. Mendonça; Gonçalo J. Farinha; João M. C. Sousa

Abstract This paper proposes a modified binary particle swarm optimization (MBPSO) method for feature selection with the simultaneous optimization of SVM kernel parameter setting, applied to mortality prediction in septic patients. An enhanced version of binary particle swarm optimization, designed to cope with premature convergence of the BPSO algorithm is proposed. MBPSO control the swarm variability using the velocity and the similarity between best swarm solutions. This paper uses support vector machines in a wrapper approach, where the kernel parameters are optimized at the same time. The approach is applied to predict the outcome (survived or deceased) of patients with septic shock. Further, MBPSO is tested in several benchmark datasets and is compared with other PSO based algorithms and genetic algorithms (GA). The experimental results showed that the proposed approach can correctly select the discriminating input features and also achieve high classification accuracy, specially when compared to other PSO based algorithms. When compared to GA, MBPSO is similar in terms of accuracy, but the subset solutions have less selected features.


dependable systems and networks | 2014

State Machine Replication for the Masses with BFT-SMART

Alysson Neves Bessani; João M. C. Sousa; Eduardo Adílio Pelinson Alchieri

The last fifteen years have seen an impressive amount of work on protocols for Byzantine fault-tolerant (BFT) state machine replication (SMR). However, there is still a need for practical and reliable software libraries implementing this technique. BFT-SMART is an open-source Java-based library implementing robust BFT state machine replication. Some of the key features of this library that distinguishes it from similar works (e.g., PBFT and UpRight) are improved reliability, modularity as a first-class property, multicore-awareness, reconfiguration support and a flexible programming interface. When compared to other SMR libraries, BFT-SMART achieves better performance and is able to withstand a number of real-world faults that previous implementations cannot.


Engineering Applications of Artificial Intelligence | 2008

Rescheduling and optimization of logistic processes using GA and ACO

Carlos A. Silva; João M. C. Sousa; Thomas A. Runkler

This paper presents a comparative study of genetic algorithms (GA) and ant colony optimization (ACO) applied the online re-optimization of a logistic scheduling problem. This study starts with a literature review of the GA and ACO performance for different benchmark problems. Then, the algorithms are compared on two simulation scenarios: a static and a dynamic environment, where orders are canceled during the scheduling process. In a static optimization environment, both methods perform equally well, but the GA are faster. However, in a dynamic optimization environment, the GA cannot cope with the disturbances unless they re-optimize the whole problem again. On the contrary, the ant colonies are able to find new optimization solutions without re-optimizing the problem, through the inspection of the pheromone matrix. Thus, it can be concluded that the extra time required by the ACO during the optimization process provides information that can be useful to deal with disturbances.


International Journal of Approximate Reasoning | 2007

Decision tree search methods in fuzzy modeling and classification

Luís F. Mendonça; Susana M. Vieira; João M. C. Sousa

This paper proposes input selection methods for fuzzy modeling, which are based on decision tree search approaches. The branching decision at each node of the tree is made based on the accuracy of the model available at the node. We propose two different approaches of decision tree search algorithms: bottom-up and top-down and four different measures for selecting the most appropriate set of inputs at every branching node (or decision node). Both decision tree approaches are tested using real-world application examples. These methods are applied to fuzzy modeling of two different classification problems and to fuzzy modeling of two dynamic processes. The models accuracy of the four different examples are compared in terms of several performance measures. Moreover, the advantages and drawbacks of using bottom-up or top-down approaches are discussed.


Expert Systems With Applications | 2010

Two cooperative ant colonies for feature selection using fuzzy models

Susana M. Vieira; João M. C. Sousa; Thomas A. Runkler

The available set of potential features in real-world databases is sometimes very large, and it can be necessary to find a small subset for classification purposes. One of the most important techniques in data pre-processing for classification is feature selection. Less relevant or highly correlated features decrease, in general, the classification accuracy and enlarge the complexity of the classifier. The goal is to find a reduced set of features that reveals the best classification accuracy for a classifier. Rule-based fuzzy models can be acquired from numerical data, and be used as classifiers. As rule based structures revealed to be a useful qualitative description for classification systems, this work uses fuzzy models as classifiers. This paper proposes an algorithm for feature selection based on two cooperative ant colonies, which minimizes two objectives: the number of features and the classification error. Two pheromone matrices and two different heuristics are used for these objectives. The performance of the method is compared with other features selection methods, achieving equal or better performance.


Expert Systems With Applications | 2009

An architecture for fault detection and isolation based on fuzzy methods

Luís F. Mendonça; João M. C. Sousa; J.M.G. Sá da Costa

Model-based fault detection and isolation (FDI) is an approach with increasing attention in the academic and industrial fields, due to economical and safety related matters. In FDI, the discrepancies between system outputs and model outputs are called residuals, and are used to detect and isolate faults. This paper proposes a model-based architecture for fault detection and isolation based on fuzzy methods. Fuzzy modeling is used to derive nonlinear models for the process running in normal operation and for each fault. When a fault occurs, fault detection is performed using the residuals. Then, the faulty fuzzy models are used to isolate a fault. The FDI architecture proposed in this paper uses a fuzzy decision making approach to isolate faults, which is based on the analysis of the residuals. Fuzzy decision factors are derived to isolate faults. An industrial valve simulator is used to obtain several abrupt and incipient faults, which are some of the possible faults in the real system. The proposed fuzzy FDI architecture was able to detect and isolate the simulated abrupt and incipient faults.


European Journal of Operational Research | 2009

Distributed supply chain management using ant colony optimization

Carlos A. Silva; João M. C. Sousa; Thomas A. Runkler; J.M.G. Sá da Costa

Successful supply chain management requires a cooperative integration between all the partners in the network. At the operational level, the partners individual behavior should be optimal and therefore their activities have to be planned using sophisticated optimization tools. However, these tools should take into account the planning of the remaining partners, through the exchange of information, in order to allow some kind of cooperation between the elements of the chain. This paper introduces a new supply chain management technique, based on modeling a generic supply chain with suppliers, logistics and distributers, as a distributed optimization problem. The different operational activities are solved by the optimization meta-heuristic called ant colony optimization, which allows the exchange of information between different optimization problems by means of a pheromone matrix. The simulation results show that the new methodology is more efficient than a simple decentralized methodology for different instances of a supply chain.

Collaboration


Dive into the João M. C. Sousa's collaboration.

Top Co-Authors

Avatar

Susana M. Vieira

Instituto Superior Técnico

View shared research outputs
Top Co-Authors

Avatar

Uzay Kaymak

Eindhoven University of Technology

View shared research outputs
Top Co-Authors

Avatar

J.M.G. Sá da Costa

Technical University of Lisbon

View shared research outputs
Top Co-Authors

Avatar

Stan N. Finkelstein

Massachusetts Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Carlos A. Silva

Instituto Superior Técnico

View shared research outputs
Top Co-Authors

Avatar

Luís F. Mendonça

Technical University of Lisbon

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

André S. Fialho

Massachusetts Institute of Technology

View shared research outputs
Top Co-Authors

Avatar

Federico Cismondi

Massachusetts Institute of Technology

View shared research outputs
Researchain Logo
Decentralizing Knowledge