Sciweavers

317 search results - page 18 / 64
» Real Recursive Functions and Real Extensions of Recursive Fu...
Sort
View
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
15 years 1 months ago
Application of real rational modules in system identification
This paper introduces a real rational module framework in the context of Prediction Error Identification using Box-Jenkins model structures. This module framework, which can easily...
Tzvetan Ivanov, Pierre-Antoine Absil, Brian D. O. ...
ICALP
1998
Springer
15 years 3 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella
ASWEC
2007
IEEE
15 years 6 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
LADS
2007
Springer
15 years 5 months ago
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
Iman Badr, Hisham Mubarak, Peter Göhner
ECRTS
2004
IEEE
15 years 3 months ago
Schedulability-Driven Partitioning and Mapping for Multi-Cluster Real-Time Systems
We present an approach to partitioning and mapping for multicluster embedded systems consisting of time-triggered and eventtriggered clusters, interconnected via gateways. We have...
Paul Pop, Petru Eles, Zebo Peng, Viacheslav Izosim...