3384 search results - page 491 / 677 » More Testable Properties |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
A new dictionary selection approach for sparse coding, called parametric dictionary design, has recently been introduced. The aim is to choose a dictionary from a class of admissi...
C++
1990
13 years 11 months ago
1990
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
AUTOMATICA
2008
13 years 10 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
AUTOMATICA
2007
13 years 10 months ago
2007
This paper investigates simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian (PCH) systems and proposes a number of results on the design of simultaneous s...