330.008 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Arnone, Maurizio |
| |
| Weimer, Julian | Cologne |
|
| Yushau, Ilyas |
| |
| Rupi, Federico |
| |
| Bruneel, Herwig |
| |
| Percoco, Marco |
| |
| Gulati, Dhiraj |
| |
| Gubser, Ariane |
| |
| Friedrich, Horst E. | Stuttgart |
|
| Heldt, Benjamin |
| |
| Mélange, Willem |
| |
| Walraevens, Joris R R |
| |
| Ye, Yun-Guang |
| |
| MANNINO, CARLO |
| |
| Zhang, Yinggui |
| |
| Felux, Michael |
| |
| Russwinkel, Nele |
| |
| Unterhuber, Paul | Champs-sur-Marne |
|
| Lamorgese, Leonardo Cameron |
| |
| Veraldi, Valerio |
| |
| Endemann, Peter |
| |
| Plogmann, Justin |
| |
| Pensa, Stefano |
| |
| Schindewolf, Marc |
| |
| Ulrich, Christian |
|
Platzer, Andr'E
Karlsruhe Institute of Technology
in Cooperation with on an Cooperation-Score of 37%
Topics
- drone
- paper
- implementation
- safety
- forecasting
- physics
- algorithm
- learning
- optimisation
- machinery
- machine learning
- flexibility
- human being
- driving
- intelligence
- foundation
- image processing
- supervisor
- theory
- supervision
- autonomous automobil
- consensus
- administration
- aircraft
- aviation
- computer science
- prevention
- language
- crash avoidance system
- consultant
- midair crash
- automata theory
- brake
- railway train
- air pressure
- design
- differential equation
- complex system
- control system
- crash
- evolution
- mobile robot
- robotics
- equation
- mathematical model
- family
- European Train Control System
- train control system
- skull
- examination
- automobile
- modeling
- behavior
- software
- system design
- artificial intelligence
- control device
- information system
- designer
- plant
- airplane
- medical equipment
- case study
- parametric analysis
- show 34 more
Publications
- 2019The Logical Path to Autonomous Cyber-Physical Systemscitations
- 2017A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance Systemcitations
- 2017Formal Verification of Train Control with Air Pressure Brakescitations
- 2016Logic & Proofs for Cyber-Physical Systemscitations
- 2015A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance Systemcitations
- 2015How to model and prove hybrid systems with KeYmaera: a tutorial on safetycitations
- 2012Formal verification of distributed aircraft controllerscitations
- 2010European Train Control System
- 2009European Train Control System: A case study in formal verificationcitations
- 2008Logical Verification and Systematic Parametric Analysis in Train Controlcitations
Places of action
