Volume 6, Issue 4

December 2012

Constraint Solving and Complex Systems

Issue Editors:

9 articles in this issue

Foreword
Stefan Ratschan
Thomas Sturm
EditorialNotes 07 December 2012 Pages: 345 - 345
Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots
Luc Jaulin
OriginalPaper 17 November 2012 Pages: 347 - 359
Rational General Solutions of Trivariate Rational Differential Systems
Yanli Huang
L. X. Châu Ngô
Franz Winkler
OriginalPaper 13 December 2012 Pages: 361 - 374
The Non-Archimedean Theory of Discrete Systems
Vladimir Anashin
OriginalPaper 29 November 2012 Pages: 375 - 393
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
Jiang Liu
Naijun Zhan
Hengjun Zhao
OriginalPaper 29 November 2012 Pages: 395 - 408
Superposition as a Decision Procedure for Timed Automata
Arnaud Fietzke
Christoph Weidenbach
OriginalPaper 04 January 2013 Pages: 409 - 425
Superposition Decides the First-Order Logic Fragment Over Ground Theories
Evgeny Kruglov
Christoph Weidenbach
OriginalPaper 19 December 2012 Pages: 427 - 456
On Solving Parametric Polynomial Systems
Marc Moreno Maza
Bican Xia
Rong Xiao
OriginalPaper 28 November 2012 Pages: 457 - 473
A Calculus for Generic, QoS-Aware Component Composition
L. S. Barbosa
Sun Meng
OriginalPaper 23 November 2012 Pages: 475 - 497

Search