• No results found

continuous dynamics

Models of Continuous Dynamics on the 2 Simplex and Applications in Economics

Models of Continuous Dynamics on the 2 Simplex and Applications in Economics

... the dynamics of these ‘shares’, where the shares satisfy the conditions stated by ...long-run dynamics of the ‘shares’ can be depicted by trajectories on standard ...of continuous-time frame- works ...

19

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

... original continuous dynamics is nonlinear, and the original system is verified in the ARCH- COMP category Continuous and Hybrid Systems with Nonlinear ...the dynamics of the spacecraft is ...

30

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

... for continuous and hybrid systems with linear continuous dynamics aims at providing a landscape of the cur- rent capabilities of verification ...

27

Target control for hybrid systems with linear continuous dynamics

Target control for hybrid systems with linear continuous dynamics

... This paper presents a computational method, based on reachability analysis, for the synthesis of control laws for the target control problem [18], [19]: Given a hybrid system, a set of c[r] ...

6

CONTINUOUS DYNAMICS STUDENT EVALUATION SYSTEM IN AN ASIAN LEARNING CONTEXT

CONTINUOUS DYNAMICS STUDENT EVALUATION SYSTEM IN AN ASIAN LEARNING CONTEXT

... This research explores the gap between students and lecturers and introduces a theoretical concept of a technology-based evaluation system for higher education. This system tries to build a stronger connection between ...

12

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

... nonlinear continuous and hybrid sys- ...handle continuous dynamics in Flow*, and all of the continuous benchmarks will be tested on ...

21

A Switching Hybrid Dynamical System: Toward Understanding Complex Interpersonal Behavior

A Switching Hybrid Dynamical System: Toward Understanding Complex Interpersonal Behavior

... includes continuous, discrete, and switching dynamics. Continuous dynamics identified switching between in- and anti-phase synchronization, controlled by an interpersonal distance of ...

15

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

... tool COntinuous Reachability Analyzer (CORA) [3, 4] realizes techniques for reachability analysis with a special focus on developing scalable solutions for verifying hybrid systems with nonlinear continuous ...

18

On the Integral of the Product of Three Bessel Functions over an Infinite Domain »

On the Integral of the Product of Three Bessel Functions over an Infinite Domain »

... nonlinear dynamics of continuous media is useful in studies on turbulent or self-organizing behavior that looks at the transport of energy across a wide range of scale ...

39

Mapping continuous potentials to discrete forms

Mapping continuous potentials to discrete forms

... a continuous inter-particle potential to a discrete equiv- alent is considered ...molecular dynamics technique to be efficiently applied to the wide range of continuous force models available in the ...

27

Vol 6, No 2 (2020)

Vol 6, No 2 (2020)

... As cooperative multi-robot systems require the representation of both types of dynamics, continuous and discrete, it is useful to apply some discrete events systems modeling methods such as Petri Nets [9], ...

8

A viability theory approach to a two stage optimal control problem

A viability theory approach to a two stage optimal control problem

... set of control values system’s dynamics, continuous in either argument later assumed affine in first argument and indexed by technology auxiliary system’s dynamics system’s dynamics; set v[r] ...

14

Optimization-based methods for nonlinear and hybrid systems verification

Optimization-based methods for nonlinear and hybrid systems verification

... stochastic continuous and hybrid systems. The stochasticity of a continuous system may originate from random inputs to the dynamics, which can be taken into account by considering stochastic differ- ...

110

Inverse problems for nonlinear delay systems

Inverse problems for nonlinear delay systems

... viral dynamics, focusing in particular on the mathematical aspects and biological nature of the delays in primary ...infection dynamics for in vitro laboratory experiments from the (continuous) delay ...

31

Catalyst nanoparticle growth dynamics and their influence on product morphology in a CVD process for continuous carbon nanotube synthesis

Catalyst nanoparticle growth dynamics and their influence on product morphology in a CVD process for continuous carbon nanotube synthesis

... a continuous film from forest-grown CNTs ...one-step, continuous, gas-phase process and has already been adopted by several companies looking to exploit these ...the continuous, controlled injection ...

30

Nonlinear Kinetics on a Lattice Featuring Anomalous Diffusion

Nonlinear Kinetics on a Lattice Featuring Anomalous Diffusion

... Abstract: Master equations define the dynamics that govern the time evolution of various physical processes on lattices. In the continuum limit, master equations lead to Fokker-Planck partial differential ...

13

Discrete and continuous systems of logic in nuclear magnetic resonance

Discrete and continuous systems of logic in nuclear magnetic resonance

... spin dynamics in small molecules at ambient conditions, in a strong and homogeneous external magnetic field in the presence of rapid isotropic molecular tumbling and in the absence of internuclear dipolar cou- ...

25

Facilitating the Validation of Adaptive Power System Protection through Formal Scheme Modelling and Performance Verification

Facilitating the Validation of Adaptive Power System Protection through Formal Scheme Modelling and Performance Verification

... Table 3 Summary of continuous and discrete dynamics in the hybrid system model Component Subsystem Settings Adaptive selection logic protection Nature of Function description/role dynami[r] ...

229

Identifying the sentiment styles of YouTube’s vloggers

Identifying the sentiment styles of YouTube’s vloggers

... Vlogging is a unique and novel means of communication. We explored the transcripts of vlogs as a source for linguistic analysis, and, by looking at intra-textual sentiment dynamics of each vlog, we identified ...

10

Evolution of Fitness in Experimental Populations of Vesicular Stomatitis Virus

Evolution of Fitness in Experimental Populations of Vesicular Stomatitis Virus

... The results show that the type C dynamics, which allows a continuous competition among a large number of transferred viral genomes, can permit populations to reach fitness [r] ...

7

Show all 10000 documents...

Related subjects