21 citations · 115 across the 16 of their papers we have counts for
Showing 2011 · eess.SYShow all
2 papers · 2 filters
eess.SY2011★ 1 cited
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…
eess.SY2011★ 3 cited
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.…