133,211 research outputs found
Recommended from our members
Using formal methods to support testing
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent
years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing
Input Synthesis for Sampled Data Systems by Program Logic
Inspired by a concrete industry problem we consider the input synthesis
problem for hybrid systems: given a hybrid system that is subject to input from
outside (also called disturbance or noise), find an input sequence that steers
the system to the desired postcondition. In this paper we focus on sampled data
systems--systems in which a digital controller interrupts a physical plant in a
periodic manner, a class commonly known in control theory--and furthermore
assume that a controller is given in the form of an imperative program. We
develop a structural approach to input synthesis that features forward and
backward reasoning in program logic for the purpose of reducing a search space.
Although the examples we cover are limited both in size and in structure,
experiments with a prototype implementation suggest potential of our program
logic based approach.Comment: In Proceedings HAS 2014, arXiv:1501.0540
Trajectory and spacecraft design for a pole-sitter mission
This paper provides a detailed mission analysis and systems design of a pole-sitter mission. It considers a spacecraft that is continuously above either the North or South Pole and, as such, can provide real-time, continuous and hemispherical coverage of the polar regions. Two different propulsion strategies are proposed, which result in a near-term pole-sitter mission using solar electric propulsion and a far-term pole-sitter mission where the electric thruster is hybridized with a solar sail. For both propulsion strategies, minimum propellant pole-sitter orbits are designed. Optimal transfers from Earth to the pole-sitter are designed assuming Soyuz and Ariane 5 launch options, and a controller is shown to be able to maintain the trajectory under unexpected conditions such as injection errors. A detailed mass budget analysis allows for a trade-off between mission lifetime and payload mass capacity, and candidate payloads for a range of applications are investigated. It results that a payload of about 100 kg can operate for approximately 4 years with the solar-electric spacecraft, while the hybrid propulsion technology enables extending the missions up to 7 years. Transfers between north and south pole-sitter orbits are also considered to observe either pole when illuminated by the Sun
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems
Development of robust dynamical systems and networks such as autonomous
aircraft systems capable of accomplishing complex missions faces challenges due
to the dynamically evolving uncertainties coming from model uncertainties,
necessity to operate in a hostile cluttered urban environment, and the
distributed and dynamic nature of the communication and computation resources.
Model-based robust design is difficult because of the complexity of the hybrid
dynamic models including continuous vehicle dynamics, the discrete models of
computations and communications, and the size of the problem. We will overview
recent advances in methodology and tools to model, analyze, and design robust
autonomous aerospace systems operating in uncertain environment, with stress on
efficient uncertainty quantification and robust design using the case studies
of the mission including model-based target tracking and search, and trajectory
planning in uncertain urban environment. To show that the methodology is
generally applicable to uncertain dynamical systems, we will also show examples
of application of the new methods to efficient uncertainty quantification of
energy usage in buildings, and stability assessment of interconnected power
networks
- …