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

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

2014
Bing Liu Soonho Kong Sicun Gao Paolo Zuliani Edmund M. Clarke

A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (e.g., time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete) models, as many biological systems can possess multiple operational modes with specific continuous dynamics in each mode. These biological systems are naturally ...

Journal: :CoRR 2014
Bing Liu Soonho Kong Sicun Gao Paolo Zuliani Edmund M. Clarke

A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (e.g., time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete) models, as many biological systems can possess multiple operational modes with specific continuous dynamics in each mode. These biological systems are naturally ...

1999
Nagu R. Dhanwada Adrián Núñez-Aldana Ranga Vemuri

In this paper, we present a constraint transformation and topology selection methodology that explores the system level parameter space to compute acceptable regions in the component parameter space. The search process of an underlying circuit synthesis tool could be con ned to these regions of valid solutions. Experimental results showing the impact of parameter space exploration at a higher l...

Journal: :The Journal of the Acoustical Society of America 2005

Journal: :Proceedings of the International Astronomical Union 2016

Journal: :Transactions of the Society of Instrument and Control Engineers 1972

Journal: :Journal of the Japan Society for Aeronautical and Space Sciences 1997

Journal: :CoRR 2014
Peter Bezdek Nikola Benes Vojtech Havel Jiri Barnat Ivana Cerná

The parameter synthesis problem for timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decidable for LTL properties. The proposed problem could be solved using an explicit enumeration of all possible parameter valuations. However, we introduce a symb...

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

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