92,655 research outputs found
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
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
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
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
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
- …