323,073 research outputs found
Low-Effort Specification Debugging and Analysis
Reactive synthesis deals with the automated construction of implementations
of reactive systems from their specifications. To make the approach feasible in
practice, systems engineers need effective and efficient means of debugging
these specifications.
In this paper, we provide techniques for report-based specification
debugging, wherein salient properties of a specification are analyzed, and the
result presented to the user in the form of a report. This provides a
low-effort way to debug specifications, complementing high-effort techniques
including the simulation of synthesized implementations.
We demonstrate the usefulness of our report-based specification debugging
toolkit by providing examples in the context of generalized reactivity(1)
synthesis.Comment: In Proceedings SYNT 2014, arXiv:1407.493
A direct method for analyzing the vertical vehicle-structure interaction
A new method for the dynamic analysis of the vertical vehicle-structure interaction is presented. The
vehicle and structure systems can be discretized with various types of finite elements and may have any
degree of complexity. The equations of both systems are complemented with additional compatibility
equations to ensure contact between the vehicles and the structure. The equations of motion and the
compatibility equations form a single system that is solved directly, thus avoiding the iterative procedure
used by other authors to satisfy the compatibility between the vehicle and structure. For large structural
systems the proposed method is usually more efficient than those that frequently update and factorize the
system matrix. Some numerical examples have shown that the proposed formulation is accurate and
efficient
Approximate Least Squares
We present a novel iterative algorithm for approximating the linear least
squares solution with low complexity. After a motivation of the algorithm we
discuss the algorithm's properties including its complexity, and we present
theoretical results as well as simulation based performance results. We
describe the analysis of its convergence behavior and show that in the noise
free case the algorithm converges to the least squares solution.Comment: Preprint of the paper submitted to IEEE International Conference on
Acoustics, Speech, and Signal Processing (ICASSP) 201
- …