21 citations · 115 across the 16 of their papers we have counts for
3 papers · 1 filter
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivat…
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This mot…
On Model Based Synthesis of Embedded Control Software
Vadim Alimguzhin, Federico Mari, Igor Melatti +2
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device.…