Nikolas Stott

According to our database, Nikolas Stott authored at least 3 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott

ACM Trans. Embed. Comput. Syst., 2017

Tropical Kraus maps for optimal control of switched systems.

Stephane Gaubert, Nikolas Stott

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2015

A scalable algebraic method to infer quadratic invariants of switched systems.

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott

Proceedings of the 2015 International Conference on Embedded Software, 2015