Key facts
- Manuals
- 1
- Languages
- EN
- Last added
- 2023-10-26
Featured University of the Bundeswehr Munich manuals
University of the Bundeswehr Munich ABS User's Manual
ABS is a software tool for synthesizing, analyzing, and verifying control problems for infinite state dynamical systems. It is designed for sampled-data control systems with reach-avoid or invariance specifications. The manual provides instructions on how to obtain, compile, and use the software, including setup steps and input/output formats. It is intended for users familiar with the underlying theory and assumes Linux as the operating system.
The software is maintained by the group of Gunther Reissig at the University of the Bundeswehr Munich and is based on prior work by Alexander Weber. It requires external software and uses an ASCII file with a special programming language to define control problems. Output includes controller and value function files.
Covers: Quick Start · Introduction · Specification of Control Problems · Controller Synthesis · Appendix · References
Latest University of the Bundeswehr Munich manuals
University of the Bundeswehr Munich ABS User's Manual
User Manual 20 pages · 230 KB · ENUser manual for ABS, a software for synthesizing controllers for infinite state dynamical systems.
Which document do I need?
User Manual
Day-to-day operation, settings and troubleshooting. Start here if the product is already set up.
Questions answered in University of the Bundeswehr Munich manuals
What is ABS used for?
ABS is a software to solve synthesis, analysis and verification problems for infinite state dynamical systems.
What operating system is required?
ABS should be run on Linux.