VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
abstract interpretation	Policy iteration in finite templates domain
Aeronautics	Certifying Square Root and Division Elimination
C
Certifying transformation	Certifying Square Root and Division Elimination
Computational Complexity	Computational complexity of iterated maps on points and sets
convex optimisation	Policy iteration in finite templates domain
cyber-physical systems	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
D
Discrete dynamical systems	Computational complexity of iterated maps on points and sets
F
Floating-point arithmetic	Transformation of a PID Controller for Numerical Accuracy
formal methods	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
H
hybrid systems	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
I
IEEE standard	SetBased Decorated Intervals
Interval analysis	Computational complexity of iterated maps on points and sets
interval arithmetic	SetBased Decorated Intervals
L
Lagrange duality	Policy iteration in finite templates domain
Lyapunov exponents	Computational complexity of iterated maps on points and sets
N
Numerical Accuracy	Transformation of a PID Controller for Numerical Accuracy
P
policy iteration	Policy iteration in finite templates domain
program transformation	Certifying Square Root and Division Elimination
R
Real number computation	Certifying Square Root and Division Elimination
S
Semantics preservation	Certifying Square Root and Division Elimination
Semantics-Based Program Transformation	Transformation of a PID Controller for Numerical Accuracy
set arithmetic	SetBased Decorated Intervals
T
templates domain	Policy iteration in finite templates domain
theorem proving	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
V
Validation of Numerical Programs	Transformation of a PID Controller for Numerical Accuracy

Disclaimer | Powered by EasyChair Smart Program