4693 search results - page 120 / 939 » Verifying Hybrid Systems |
132
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
118
click to vote
HYBRID
1999
Springer
15 years 5 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
115
Voted
KES
2006
Springer
15 years 21 days ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper proposes the utilization of hybrid models of supervised neural networks for the modelling of dynamic systems. Particularly, as an example of a system, a autonomous helic...