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...

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...

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...

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...

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...

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,...