Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Notre_Dame
|
| gptkbp:awardReceived |
gptkb:NSF_CAREER_Award
Antonio Ruberti Young Researcher Prize |
| gptkbp:employer |
gptkb:University_of_California,_Los_Angeles
|
| gptkbp:field |
control theory
formal methods cyber-physical systems |
| https://www.w3.org/2000/01/rdf-schema#label |
John John E. Tabuada
|
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notableWork |
Verification and Control of Hybrid Systems: A Symbolic Approach
|
| gptkbp:occupation |
gptkb:engineer
gptkb:professor |
| gptkbp:bfsParent |
gptkb:province
|
| gptkbp:bfsLayer |
5
|