2650 search results - page 134 / 530 » Simulation and Control of Reactive Systems |
132
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
139
Voted
CDC
2009
IEEE
15 years 13 days ago
2009
IEEE
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...
132
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
119
click to vote
HAPTICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
113
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...