15 citations · 57 across the 13 of their papers we have counts for
3 papers · 1 filter
Model Based Synthesis of Control Software from System Level Formal Specifications
Federico Mari, Igor Melatti, Ivano Salvo +1
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…
From Boolean Functional Equations to Control Software
Federico Mari, Igor Melatti, Ivano Salvo +1
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a co…
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
Federico Mari, Igor Melatti, Ivano Salvo +1
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.…