274 search results - page 19 / 55 » Embedded Control Systems Development with Giotto |
AICOM
2005
13 years 7 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
DSN
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...
ECRTS
2010
IEEE
13 years 8 months ago
2010
IEEE
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...