Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Stochastic Hybrid Systems

Description

This lecture covers the application of time-determinator and time-determinator model checking for schedule ability analysis, as well as the translation of scheduling problems into U-Pool. It also delves into the use of U-Pool for scheduling under OSIC, modular schedulability within CREOL, and schedulability analysis for JABYBike code. The discussion extends to worst-case execution time analysis using time-to-tomato components, with examples from ARM platforms. The lecture further explores statistical model checking in UPAL-SMC, focusing on stochastic hybrid automata and cyber-physical systems modeling, emphasizing trustworthiness and probabilistic behavior analysis.

Official source

Related concepts (32)

Ordinary differential equation

In mathematics, an ordinary differential equation (ODE) is a differential equation (DE) dependent on only a single independent variable. As with other DE, its unknown(s) consists of one (or more) function(s) and involves the derivatives of those functions. The term "ordinary" is used in contrast with partial differential equations which may be with respect to one independent variable. A linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form where a_0(x), .

Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.

Differential equation

In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, and the differential equation defines a relationship between the two. Such relations are common; therefore, differential equations play a prominent role in many disciplines including engineering, physics, economics, and biology.

Linear differential equation

In mathematics, a linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form where a0(x), ..., an(x) and b(x) are arbitrary differentiable functions that do not need to be linear, and y′, ..., y(n) are the successive derivatives of an unknown function y of the variable x. Such an equation is an ordinary differential equation (ODE).

Formal methods

In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

Related lectures (39)

Simulation: Control of Dynamic Systems

Explores simulation of common structures and control of dynamic systems through friction and elasticity constants.

Canonical Transformations: Existence and Equations

Explores canonical transformations, focusing on existence, equations, simplicity, and differential equations' theory.

Differential Equations: Solution Methods MOOC: Electrical engineering II

Explores the resolution of differential equations and the properties of exponential functions in electrical engineering.

Canonical Transformations: Hamilton-Jacobi Equation

Explores canonical transformations, the Hamilton-Jacobi equation, symplectic groups, and differential equations in physics.

Path Integral Representation of Propagators