NSV 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D F H I L N P R S T V

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