2,036 research outputs found
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
Since its inception as a student project in 2001, initially just for the
handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library
has been continuously improved and extended by joining scrupulous research on
the theoretical foundations of (possibly non-convex) numerical abstractions to
a total adherence to the best available practices in software development. Even
though it is still not fully mature and functionally complete, the Parma
Polyhedra Library already offers a combination of functionality, reliability,
usability and performance that is not matched by similar, freely available
libraries. In this paper, we present the main features of the current version
of the library, emphasizing those that distinguish it from other similar
libraries and those that are important for applications in the field of
analysis and verification of hardware and software systems.Comment: 38 pages, 2 figures, 3 listings, 3 table
Online Abstractions for Interconnected Multi-Agent Control Systems
In this report, we aim at the development of an online abstraction framework
for multi-agent systems under coupled constraints. The motion capabilities of
each agent are abstracted through a finite state transition system in order to
capture reachability properties of the coupled multi-agent system over a finite
time horizon in a decentralized manner. In the first part of this work, we
define online abstractions by discretizing an overapproximation of the agents'
reachable sets over the horizon. Then, sufficient conditions relating the
discretization and the agent's dynamics properties are provided, in order to
quantify the transition possibilities of each agent.Comment: 22 pages. arXiv admin note: text overlap with arXiv:1603.0478
Equivalence of hybrid dynamical systems
A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’. The intuitive idea is that we only want to distinguish between two systems if the distinction can be detected by an external syste
- …