232,010 research outputs found
Interpolation with bilinear differential forms
We present a recursive algorithm for modeling with bilinear differential forms. We discuss applications of this algorithm for interpolation with symmetric bivariate polynomials, and for computing storage functions for autonomous systems
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
We apply a compositional formal modeling and verification method to an
autonomous aircraft taxi system. We provide insights into the modeling approach
and we identify several research areas where further development is needed.
Specifically, we identify the following needs: (1) semantics of composition of
viewpoints expressed in different specification languages, and tools to reason
about heterogeneous declarative models; (2) libraries of formal models for
autonomous systems to speed up modeling and enable efficient reasoning; (3)
methods to lift verification results generated by automated reasoning tools to
the specification level; (4) probabilistic contract frameworks to reason about
imperfect implementations; (5) standard high-level functional architectures for
autonomous systems; and (6) a theory of higher-order contracts. We believe that
addressing these research needs, among others, could improve the adoption of
formal methods in the design of autonomous systems including learning-enabled
systems, and increase confidence in their safe operations.Comment: 2023 International Conference on Assured Autonomy (ICAA
World Modeling for Intelligent Autonomous Systems
The functioning of intelligent autonomous systems requires constant situation awareness and cognition analysis. Thus, it needs a memory structure that contains a description of the surrounding environment (world model) and serves as a central information hub. This book presents a row of theoretical and experimental results in the field of world modeling. This includes areas of dynamic and prior knowledge modeling, information fusion, management and qualitative/quantitative information analysis
World Modeling for Intelligent Autonomous Systems
The functioning of intelligent autonomous systems requires constant situation awareness and cognition analysis. Thus, it needs a memory structure that contains a description of the surrounding environment (world model) and serves as a central information hub. This book presents a row of theoretical and experimental results in the field of world modeling. This includes areas of dynamic and prior knowledge modeling, information fusion, management and qualitative/quantitative information analysis
Interval modeling of dynamics for multibody systems
AbstractModeling of multibody systems is an important though demanding field of application for interval arithmetic. Interval modeling of dynamics is particularly challenging, not least because of the differential equations which have to be solved in the process. Most modeling tools transform these equations into a (non-autonomous) initial value problem, interval algorithms for solving of which are known. The challenge then consists in finding interfaces between these algorithms and the modeling tools. This includes choosing between “symbolic” and “numerical” modeling environments, transforming the usually non-autonomous resulting system into an autonomous one, ensuring conformity of the new interval version to the old numerical, etc. In this paper, we focus on modeling multibody systems’ dynamics with the interval extension of the “numerical” environment MOBILE, discuss the techniques which make the uniform treatment of interval and non-interval modeling easier, comment on the wrapping effect, and give reasons for our choice of MOBILE by comparing the results achieved with its help with those obtained by analogous symbolic tools
- …