Jump to ContentJump to Main Navigation

You are looking at 1-6 of 6 items

  • Keywords: optimisation x
  • Recently Published x
Clear All Modify Search

View:

Convex Optimization and Numerical Issues

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0010
Subject:
Mathematics, Applied Mathematics

This chapter aims at providing the intuition behind convex optimization algorithms and addresses their effective use with floating-point implementation. It first briefly presents the algorithms, ... More


Definitions—Background

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0004
Subject:
Mathematics, Applied Mathematics

This chapter presents the formalisms describing discrete dynamical systems and gives an overview on the convex optimization tools and methods used to compute the analyses. A dynamical system is a ... More


Cost-Effectiveness Analysis

Jeremy A. Lauer, Alec Morton, and Melanie Bertram

in Global Health Priority-Setting: Beyond Cost-Effectiveness

Published in print:
2019
Published Online:
December 2019
ISBN:
9780190912765
eISBN:
9780190912796
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780190912765.003.0005
Subject:
Philosophy, Philosophy of Science

Cost-effectiveness analysis (CEA) is a form of economic evaluation concerned with efficiency: that is, with achieving the most for the resources (“value for money”). This chapter explains the appeal ... More


Invariant Synthesis via Convex Optimization: Postfixpoint Computation as Semialgebraic Constraints

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0005
Subject:
Mathematics, Applied Mathematics

This chapter focuses on the computation of invariant for a discrete dynamical system collecting semantics. Invariants or collecting semantics properties are properties preserved along all executions ... More


Template-based Analyses and Min-policy Iteration

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0006
Subject:
Mathematics, Applied Mathematics

This chapter considers other configurations aside from the direct synthesis of invariants as bound templates. A first case arises when the methods shown in the previous chapter only synthesizes the ... More


The Calculating Iceman: Leonid Kantorovich in the USSR, 1941–2

Alan Bollard

in Economists at War: How a Handful of Economists Helped Win and Lose the World Wars

Published in print:
2019
Published Online:
January 2020
ISBN:
9780198846000
eISBN:
9780191881244
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198846000.003.0005
Subject:
Economics and Finance, Economic History

The only way through the wartime Leningrad siege was a winter ice road across a lake, monitored by a brilliant young Soviet mathematician. Leonid Kantorovich had been brought up in the chaos of ... More


View: