Today, the use of computer-based systems for industrial process control is growing rapidly. The growing demand for efficient performance and flexibility in industrial systems makes control algorithm design an increasingly complex process. In this research work we address the problem of determining and establishing the most effective control of linear and concurrent processes in an industrial mo...

Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable the...

Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover, a formal software development process may lead to a change of formalism during the development. However, current research in integrated formal methods only deals with ad-hoc integrations of different formalisms. The heterogen...

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violat...

The trend toward the growing multilinguality of the Internet requires text summarization techniques that work equally well in multiple languages. Only some of the automated summarization methods proposed in the literature, however, can be defined as “languageindependent”, as they are not based on any morphological analysis of the summarized text. In this paper, we perform an in-depth comparativ...

In this work we propose a reference model for the requirements specification of agent-based simulation platforms. We give the following contributions: (i) aid the identification of general principles to develop platforms; (ii) advance the analysis and prospection of technical-operational and highlevel requirements; (iii) promote the identification of shared requirements, addressing them to the ...

This paper shows the application of a 2DOF robust discrete deadtime compensator to a evaporation process in a sugar factory. The proposed controller is tuned using performance and robustness specifications and it is specially designed for integrative plants as is the case of the level control of the principal unit of the evaporator. A comparative analysis with the PID installed in the unit is p...

In this paper we propose a preliminary reference model for the requirements specification of agent-based simulation platforms. We give the following contributions: (i) aid the identification of general principles to develop platforms; (ii) advance the analysis and prospection of technical-operational and high-level requirements; (iii) promote the identification of shared requirements, addressin...