527 search results - page 72 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
TSMC
1998
13 years 8 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
—A hybrid functional electrical stimulation (FES)/orthosis system is being developed which combines two channels of (surface-electrode-based) electrical stimulation with a comput...
EEMMAS
2007
Springer
14 years 2 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
SCAI
2008
13 years 10 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
In the past few years, there has been a trend of providing increased computing power through greater number of cores on a chip, rather than through higher clock speeds. In order t...