نتایج جستجو برای: synthesis parameter

تعداد نتایج: 620706  

Journal: :IOP Conference Series: Materials Science and Engineering 2019

1999
Johan A. K. Suykens Paul F. Curran Leon O. Chua

In this paper a method for robust synthesis of full static-state error feedback and dynamic-output error feedback for master–slave synchronization of Lur’e systems is presented. Parameter mismatch between the systems is considered in the synchronization schemes. Sufficient conditions for uniform synchronization with a bound on the synchronization error are derived, based on a quadratic Lyapunov...

2007
F. Wu

A robust receding horizon control (RHC) scheme is proposed for parameter-dependent linear systems with linear fractional parameter dependency and input–output constraints. The cost function is defined over a moving finite horizon as the quadratic performance for future parameter trajectories. The robust stability of the proposed RHC scheme is guaranteed using a parameterdependent control Lyapun...

2015
Étienne André Didier Lime Olivier H. Roux

Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Parameter synthesis aims at computing dense sets of valuations for the timing requirements, guaranteeing a good behavior. However, in most cases, the emptiness problem for reachability (i.e., whether there exists at least one parameter valuation for which some state is rea...

2003
Yoichi Nagashima

This paper describes a development of sound synthesis system as application of new sound generating technique "Scanned Synthesis". As the first step of this research, algorithm of scanning sound synthesis in real time and physical model control in real time were realized simultaneously. As the 2nd step of research, the EMG sensor which outputs simultaneous detection of the muscular electric pot...

2017
Sebastian Arming Ezio Bartocci Ana Sokolova

We study parametric Markov decision processes (PMDPs) and their reachability probabilities ”independent” of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing different types of optimal deterministic memoryless schedulers for the whole parameter range. We implement a simple prototype tool SEA-PARAM that c...

Journal: :iranian journal of astronomy and astrophysics 2014
hosein haghi hamed ghasemi hongsheng zhao

the rotation curves of a sample of 46 low- and high-surface brightness galaxies are considered in the context of milgrom's modi_ed dynamics (mond) to test a new interpolating function proposed by zhao et al. (2010) [1] and compare with the results of simple interpolating function. the predicted rotation curves are calculated from the total baryonic matter based on the b-band surface photometry,...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید