Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
Formal Verification of Continuous Systems
Christoffer Sloth
Institut for Datalogi
Institut for Elektroniske Systemer
Automation & Control
Publikation
:
Ph.d.-afhandling
658
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Formal Verification of Continuous Systems'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Engineering
Continuous System
100%
Safety Verification
100%
Dimensional System
50%
Control Systems
50%
Vector Field
50%
Barrier Function
25%
Critical System
25%
Surgical Robot
25%
Catastrophic Consequence
25%
Continuous Variable
25%
Safety Verification Problem
25%
Space Application
25%
Sufficient Condition
25%
Economic Loss
25%
Computer Science
Formal Verification
100%
Dynamical System
100%
temporal property
50%
State Space
25%
Timed Automaton
25%
Dimensional System
25%
Space Application
12%
Time Information
12%
Safety Critical Systems
12%
Robot
12%
Continuous Variable
12%
Sufficient Condition
12%
Sum-of-Squares Programming
12%
Barrier Function
12%
Keyphrases
High-dimensional Dynamical Systems
16%
Compositional Formulation
16%