- arXiv.org
- Space Physics
- Data Analysis, Statistics and Probability
- Popular Physics
- History and Philosophy of Physics
- Optics
- Atomic and Molecular Clusters
- Physics and Society
- Fluid Dynamics
- Biological Physics
- General Physics
- Plasma Physics
- Medical Physics
- Atomic Physics
- Geophysics
- Computational Physics
- Atmospheric and Oceanic Physics
- Instrumentation and Detectors
- Chemical Physics
- Physics Education
- Accelerator Physics
- Classical Physics

- Number Theory
- Statistics Theory
- Analysis of PDEs
- Information Theory
- History and Overview
- Mathematical Physics
- Operator Algebras
- Group Theory
- Algebraic Geometry
- Complex Variables
- Combinatorics
- Probability
- Symplectic Geometry
- Metric Geometry
- Representation Theory
- Quantum Algebra
- Differential Geometry
- Dynamical Systems
- Optimization and Control
- Logic
- Geometric Topology
- Numerical Analysis
- General Topology
- General Mathematics
- K-Theory and Homology
- Functional Analysis
- Category Theory
- Classical Analysis and ODEs
- Rings and Algebras
- Spectral Theory
- Commutative Algebra
- Algebraic Topology

- Multiagent Systems
- Computational Complexity
- Information Theory
- Formal Languages and Automata Theory
- Information Retrieval
- General Literature
- Symbolic Computation
- Emerging Technologies
- Other Computer Science
- Databases
- Computer Vision and Pattern Recognition
- Learning
- Numerical Analysis
- Programming Languages
- Sound
- Social and Information Networks
- Neural and Evolutionary Computing
- Software Engineering
- Operating Systems
- Cryptography and Security
- Computer Science and Game Theory
- Hardware Architecture
- Distributed, Parallel, and Cluster Computing
- Discrete Mathematics
- Systems and Control
- Computational Engineering, Finance, and Science
- Mathematical Software
- Artificial Intelligence
- Digital Libraries
- Human-Computer Interaction
- Performance
- Networking and Internet Architecture
- Data Structures and Algorithms
- Robotics
- Logic in Computer Science
- Graphics
- Multimedia
- Computation and Language
- Computers and Society
- Computational Geometry

- We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control.
- We consider graph Turing machines, a model of parallel computation on a graph, in which each vertex is only capable of performing one of a finite number of operations. This model of computation is a natural generalization of several well-studied notions of computation, including ordinary Turing machines, cellular automata, and parallel graph dynamical systems. We analyze the power of computations that can take place in this model, both in terms of the degrees of computability of the functions that can be computed, and the time and space resources needed to carry out these computations. We further show that properties of the underlying graph have significant consequences for the power of computation thereby obtained. In particular, we show that every arithmetically definable set can be computed by a graph Turing machine in constant time, and that every computably enumerable Turing degree can be computed in constant time and linear space by a graph Turing machine whose underlying graph has finite degree.
- A categorical point of view about minimization in subrecursive classes is presented by extending the concept of Symmetric Monoidal Comprehension to that of Distributive Minimization Comprehension. This is achieved by endowing the former with coproducts and a finality condition for coalgebras over the endofunctor sending X to ${1}\oplus{X}$ to perform a safe minimization operator. By relying on the characterization given by Bellantoni, a tiered structure is presented from which one can obtain the levels of the Polytime Hierarchy as those classes of partial functions obtained after a certain number of minimizations.

A formally verified proof of the Central Limit Theorem

Zoltán Zimborás May 28 2014 04:42 UTC