Hybrid Systems Bernd Finkbeiner

News

16.09.2019

Feedback and Deadline Extension

Dear students,

we finished reviewing your drafts, you can find the feedback in the rCMS on your personal status page. 

We decided to extend the hard deadline by two days, so please submit your summary until Sunday, September 22, 23:59.

Have a wonderful... Read more

Dear students,

we finished reviewing your drafts, you can find the feedback in the rCMS on your personal status page. 

We decided to extend the hard deadline by two days, so please submit your summary until Sunday, September 22, 23:59.

Have a wonderful week,
your Hybrid Systems Team

23.08.2019

Individual Talks — Schedule

Dear Students,

here is the schedule for the individual talks starting September 03.

Exact Analyses — Morning

Analysis of Hybrid Systems — An Ounce of Realism Can Save an Infinity of States
STL Model Checking of Continuous and Hybrid Systems

Exact... Read more

Dear Students,

here is the schedule for the individual talks starting September 03.

Exact Analyses — Morning

Analysis of Hybrid Systems — An Ounce of Realism Can Save an Infinity of States
STL Model Checking of Continuous and Hybrid Systems

Exact Analyses — Afternoon 

Towards Model Checking of Implantable Cardioverter Defibrillators
Numerical Verification of Affine Systems with up to a Billion Dimensions

Predictive Approximations 

Simulation-equivalent Reachability of Large Linear Systems with Inputs
Flowpipe Approximation and Clustering in Space-time
Real-time Trajectory Generation for Differentially Flat Systems

Runtime Monitoring — Morning

Efficient Monitoring of Safety Properties
ModelPlex: Verified Runtime Validation of Verified Cyber-physical System Models

Runtime Monitoring — Afternoon 

Monitoring Temporal Properties of Continuous Signals
Combining Model-Checking and Runtime Verification for Safe Robotics

Synthesis & Planning 

Formal Synthesis of Stabilizing Controllers for Switched Systems
Maneuver-based Motion Planning for no-linear Systems with Symmetries
Antlab: A Multi Robot Task Server

19.08.2019

Slight Change in Schedule

Dear students,

there is a slight change in the schedule for the last week of the seminar.  On Tuesday and Thursday, rather than having four talks end-to-end, we will split them up and have two talks in the morning (10-12) and two in the afternoon (14:30-16:30)... Read more

Dear students,

there is a slight change in the schedule for the last week of the seminar.  On Tuesday and Thursday, rather than having four talks end-to-end, we will split them up and have two talks in the morning (10-12) and two in the afternoon (14:30-16:30) after a lunch break.  We're confident that we will all benefit from this change.

If anyone has reason to object, please let me know.

See you tomorrow! 

 

Hybrid Systems

The interaction of a computer system with physical processes is a clash of two worlds: a computer works in a clocked, discrete world with clear semantics. When the processor's edge rises, the internal state changes, when it falls, the world stands still. The real, physical world, however, is chaotic: nature does not wait for a clock tick to apply changes. Yet, the interaction of machines with the real world is essential. Machines control power plants, cars, satellites and factories. Such systems are called "Hybrid Systems", a mixture of continuous, physical processes and discrete, logical steps.

In this seminar we will cover an interesting range of topics concerning hybrid systems. The content is roughly divided into four categories:

  • Exact Analyses: techniques used to analyze a system precisely
  • Predictive Approximations: sometimes, exact analyzes cannot cope with the complexity of a system. In these cases, over-approximations allow for a safe analysis at the cost of potential false positives
  • Runtime Monitoring: despite best efforts, even verified plans can fail due to unforeseen circumstances. For this, monitors observe the current state of a system at runtime and detect potential problems
  • Synthesis & Planning: while the former techniques seek to prove controllers correct and systems safe, synthesis automatically finds a controller or plan capable of solving the underlying problem

Structure

This block course spans over four weeks, starting on August 12, and ending September 6.

After the kick-off meeting, you will be assigned a reading group covering one of the topics above. Throughout the first week, the group will prepare a common talk presenting background information on the topic. The week after, you have time to prepare an individual talk presenting a single paper. 

Each talk is followed by a moderated discussion.

Lastly, you will write up a summary of the seminar relating your reading group and paper to other talks.

You can find all dates here and in the timetable.

Registration

Early bird registration: you can register over the centralized seminar registration page here starting April 4 until April 8

End of term registration: please send an email to Maximilian Schwenger between July 15 and August 8.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators