A model-based approach for developing data cleansing solutions
The data extracted from electronic archives is a valuable asset; however, the issue of the
(poor) data quality should be addressed before performing data analysis and decision …
(poor) data quality should be addressed before performing data analysis and decision …
Model-based synthesis of control software from system-level formal specifications
Many embedded systems are indeed software-based control systems, that is, control
systems whose controller consists of control software running on a microcontroller device …
systems whose controller consists of control software running on a microcontroller device …
Automatic control software synthesis for quantized discrete time hybrid systems
Many Embedded Systems are indeed Software Based Control Systems, that is control
systems whose controller consists of control software running on a microcontroller device …
systems whose controller consists of control software running on a microcontroller device …
On model based synthesis of embedded control software
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is
control systems whose controller consists of control software running on a microcontroller …
control systems whose controller consists of control software running on a microcontroller …
A map-reduce parallel approach to automatic synthesis of control software
Abstract Many Control Systems are indeed Software Based Control Systems, ie control
systems whose controller consists of control software running on a microcontroller device …
systems whose controller consists of control software running on a microcontroller device …
Automatic synthesis of robust numerical controllers
A major problem of numerical controllers is their robustness, ie the state read from the plant
may not be in the controller table, although it may be close to some states in the table. For …
may not be in the controller table, although it may be close to some states in the table. For …
A framework for the automatic synthesis of hybrid fuzzy/numerical controllers
D Magazzeni - Applied Soft Computing, 2011 - Elsevier
In this paper, a framework for the automatic synthesis of hybrid fuzzy/numerical controllers is
proposed. The methodology is based on model checking and on a very precise analysis of a …
proposed. The methodology is based on model checking and on a very precise analysis of a …
[PDF][PDF] Quantized feedback control software synthesis from system level formal specifications
Abstract Many Embedded Systems are indeed Software Based Control Systems (SBCSs),
that is control systems whose controller consists of control software running on a …
that is control systems whose controller consists of control software running on a …
Evaluating fuzzy controller robustness using model checking
G Della Penna, B Intrigila, D Magazzeni - … WILF 2009 Palermo, Italy, June 9 …, 2009 - Springer
Fuzzy control is well known as a powerful technique for designing and realizing controllers.
However, statistical evidence for their correct behavior may be not enough, even when it is …
However, statistical evidence for their correct behavior may be not enough, even when it is …
Automatic Generation of Hybrid Fuzzy/Numerical Controllers
D Magazzeni - … Intelligence for Modelling Control & Automation, 2008 - ieeexplore.ieee.org
In this paper, an automatic methodology for the generation of hybrid fuzzy/numerical
controllers is proposed. The methodology is based on model checking and on a very precise …
controllers is proposed. The methodology is based on model checking and on a very precise …