SpaceEx Scalable Verication of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donze Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Verima - PDF document

Download presentation
SpaceEx Scalable Verication of Hybrid Systems Goran Frehse  Colas Le Guernic  Alexandre Donze  Scott Cotton Rajarshi Ray  Olivier Lebeltel  Rodolfo Ripado  Antoine Girard Thao Dang  Oded Maler Verima
SpaceEx Scalable Verication of Hybrid Systems Goran Frehse  Colas Le Guernic  Alexandre Donze  Scott Cotton Rajarshi Ray  Olivier Lebeltel  Rodolfo Ripado  Antoine Girard Thao Dang  Oded Maler Verima

Embed / Share - SpaceEx Scalable Verication of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donze Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Verima


Presentation on theme: "SpaceEx Scalable Verication of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donze Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Verima"— Presentation transcript


By: yoshiko-marsland
Views: 115
Type: Public

SpaceEx Scalable Verication of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donze Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Verima - Description


frehseimagfr Abstract We present a scalable reachability algorithm for hybrid sys tems with piecewise a64259ne nondeterministic dynamics It combines poly hedra and support function representations of continuous sets to compute an overapproximation of ID: 33140 Download Pdf

Related Documents