-
An incremental approach for hardware discrete controller synthesis
The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based... -
Study of physical mechanisms responsible for the dysfunction of HEMT transist...
The manufacture of semiconductor components based on gallium nitride (GaN) is currently undergoing a major expansion. This material, by his physical and chemical... -
Design and development of non-invasive, ambulatory or embedded sensors for th...
Improvement in quality and efficiency of health and medicine, at home and in hospital, has become of paramount importance. The solution to this problem would require...
