Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

  • Yasser Shoukry
  • , Michelle Chong
  • , Masashi Wakaiki
  • , Pierluigi Nuzzo
  • , Alberto L. Sangiovanni-Vincentelli
  • , Sanjit A. Seshia
  • , João P. Hespanha
  • , Paulo Tabuada

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Vingerafdruk

Duik in de onderzoeksthema's van 'SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks'. Samen vormen ze een unieke vingerafdruk.
Sorteer per

Computer Science