Grant: Discovery Grants Program - Individual
University of British Columbia
$68,000.00
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
EF 2021-22
Résumé
continuous reachability; control verification; cyber-physical systems; human in the loop; level set methods; model checking; robot motion planning; shared control
Programme
Discovery Grants Program - Individual
Bénéficiaire
Emplacement
British Columbia, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
RGPIN-2017-04543
Name nom
Mitchell, Ian
Department département
Computer Science
Organization id
2
Institution établissement
University of British Columbia
Province en
British Columbia
Province fr
Colombie-Britannique
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2021
Competition year année de concours
2017
Award amount
68000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
1507
Committee name en
Computer Science
Committee name fr
Sciences informatiques
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2955
Research subject group en
Applied mathematics
Research subject group fr
Mathématiques appliquées
Research subject en
Numerical analysis
Research subject fr
Analyse numérique
Installment
inst:5; 6
Partie
2
Nb partie
6
Application title
Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems
Keyword
NSERC
Application summary
continuous reachability; control verification; cyber-physical systems; human in the loop; level set methods; model checking; robot motion planning; shared control
