The objective of conformance testing is to determine whether an implementation under test (IUT) conforms to its specification. In distributed test architecture where there are multiple remote testers, the objective ca...The objective of conformance testing is to determine whether an implementation under test (IUT) conforms to its specification. In distributed test architecture where there are multiple remote testers, the objective can be complicated by the fact that testers may encounter controllability and observability problems during the application of a test sequence. A certain amount of work has been done in the area of generating test sequence that is free from these problems. However, few researchers investigate them from the aspect of test execution. This work studies the test execution phase when test sequences are applied to the imple- mentation and it is pointed out that controllability and observability problems can be resolved if and only if the test system im- plements some timing constraints. When determining these constraints, the dynamic time information during test is taken into account, which reduces the test execution time and improves test efficiency further.展开更多
This paper mainly studies observability and detectability for continuous-time stochastic Markov jump systems.Two concepts called W-observability and W-detectability for such systems are introduced,which are shown to c...This paper mainly studies observability and detectability for continuous-time stochastic Markov jump systems.Two concepts called W-observability and W-detectability for such systems are introduced,which are shown to coincide with various notions of observability and detectability reported recently in literature,such as exact observability,exact detectability and detectability.Besides,by introducing an accumulated energy function,some efficient criteria and interesting properties for both W-observability and W-detectability are obtained.展开更多
Abstract The authors establish the null controllability for some systems coupled by two backward stochastic heat equations. The desired controllability result is obtained by means of proving a suitable observability e...Abstract The authors establish the null controllability for some systems coupled by two backward stochastic heat equations. The desired controllability result is obtained by means of proving a suitable observability estimate for the dual system of the controlled system.展开更多
文摘The objective of conformance testing is to determine whether an implementation under test (IUT) conforms to its specification. In distributed test architecture where there are multiple remote testers, the objective can be complicated by the fact that testers may encounter controllability and observability problems during the application of a test sequence. A certain amount of work has been done in the area of generating test sequence that is free from these problems. However, few researchers investigate them from the aspect of test execution. This work studies the test execution phase when test sequences are applied to the imple- mentation and it is pointed out that controllability and observability problems can be resolved if and only if the test system im- plements some timing constraints. When determining these constraints, the dynamic time information during test is taken into account, which reduces the test execution time and improves test efficiency further.
基金supported by the Natural Science Foundation of China under Grant No.61174078the Research Fund for the Taishan Scholar Project of Shandong Province of China+1 种基金the SDUST Research Fund under Grant No.2011KYTD105the State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources under Grant No.LAPS13018
文摘This paper mainly studies observability and detectability for continuous-time stochastic Markov jump systems.Two concepts called W-observability and W-detectability for such systems are introduced,which are shown to coincide with various notions of observability and detectability reported recently in literature,such as exact observability,exact detectability and detectability.Besides,by introducing an accumulated energy function,some efficient criteria and interesting properties for both W-observability and W-detectability are obtained.
基金Project supported by the National Natural Science Foundation of China(No.11101070)the Grant MTM2011-29306-C02-00 of the MICINN,Spain+4 种基金the Project PI2010-04 of the Basque Governmentthe ERC Advanced Grant FP7-246775 NUMERIWAVESthe ESF Research Networking Programme OPT-PDEScientific Research Fund of Sichuan Provincial Education Department of China(No.10ZC110) the project Z1062 of Leshan Normal University of China
文摘Abstract The authors establish the null controllability for some systems coupled by two backward stochastic heat equations. The desired controllability result is obtained by means of proving a suitable observability estimate for the dual system of the controlled system.
