92,655 research outputs found

    Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

    Full text link
    Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious maintenance efforts. We already proposed a multi-perspective modeling approach to improve the development of such systems. It operates on different levels of abstraction by using well-known UML-models with activity, composite structure and state chart models. Each perspective was enriched with delta modeling to manage variability and evolution. As an extension, we now focus on the development of an efficient consistency checking method at several levels to ensure valid variants of the automation system. Consistency checking must be provided for each perspective in isolation, in-between the perspectives as well as after the application of a delta.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857

    Teaching, Analyzing, Designing and Interactively Simulating of Sliding Mode Control

    Get PDF
    This paper introduces an interactive methodology to analize, design, and simulate sliding model controllers for R2 linear systems. This paper reviews sliding mode basic concepts and design methodologies and describes an interactive tool which has been developed to support teaching in this field. The tool helps students by generating a nice graphical and interactive display of most relevant concepts. This fact can be used so that students build their own intuition about the role of different parameters in a sliding mode controller. Described application has been coded with Sysquake using an event-driven solver technique. The Sysquake allows using precise integration methods in real time and handling interactivity in a simple manner.Peer ReviewedPostprint (published version

    Teaching, Analyzing, Designing and Interactively Simulating of Sliding Mode Control

    Get PDF
    This paper introduces an interactive methodology to analize, design, and simulate sliding model controllers for R2 linear systems. This paper reviews sliding mode basic concepts and design methodologies and describes an interactive tool which has been developed to support teaching in this field. The tool helps students by generating a nice graphical and interactive display of most relevant concepts. This fact can be used so that students build their own intuition about the role of different parameters in a sliding mode controller. Described application has been coded with Sysquake using an event-driven solver technique. The Sysquake allows using precise integration methods in real time and handling interactivity in a simple manner.Peer ReviewedPostprint (published version

    Breaking the entanglement barrier: Tensor network simulation of quantum transport

    Full text link
    The recognition that large classes of quantum many-body systems have limited entanglement in the ground and low-lying excited states led to dramatic advances in their numerical simulation via so-called tensor networks. However, global dynamics elevates many particles into excited states, and can lead to macroscopic entanglement and the failure of tensor networks. Here, we show that for quantum transport -- one of the most important cases of this failure -- the fundamental issue is the canonical basis in which the scenario is cast: When particles flow through an interface, they scatter, generating a "bit" of entanglement between spatial regions with each event. The frequency basis naturally captures that -- in the long-time limit and in the absence of inelastic scattering -- particles tend to flow from a state with one frequency to a state of identical frequency. Recognizing this natural structure yields a striking -- potentially exponential in some cases -- increase in simulation efficiency, greatly extending the attainable spatial- and time-scales, and broadening the scope of tensor network simulation to hitherto inaccessible classes of non-equilibrium many-body problems.Comment: Published version; 6+9 pages; 4+4 figures; Added: an example of interacting reservoirs, further evidence on performance scaling, and extended discussion of the numerical detail
    • …
    corecore