On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis - Publikacja - MOST Wiedzy

Wyszukiwarka

On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis

Abstrakt

Hybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially when repeated over iterations. This work formally defines the computational semantics of a solver in a denotational sense so as to analyze discrete- and continuous-time behavior of time-based block diagram models. A stream-based approach is used to analyze the numerical integration implemented by the solver. The resulting solver applies the principle of nonmonotonic time, which means that every new evaluation of values is computed in a temporally nonmonotonic manner. This allows for shifting the evaluation points backward and forward in time. A partially ordered structure is recovered based on the concept of stratification. Solver dynamics are thus made explicit and can be studied in concert with behavior of discontinuous models parts

Cytowania

  • 0

    CrossRef

  • 0

    Web of Science

  • 0

    Scopus

Autorzy

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Język:
angielski
Rok wydania:
2011
Opis bibliograficzny:
Zander J., Mosterman P., Hamon G., Denckla B.: On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis// Proceedings of the 18th IFAC World Congress, 2011/ Milano: , 2011, s.9419-9424
DOI:
Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.3182/20110828-6-it-1002.02485
Weryfikacja:
Politechnika Gdańska

wyświetlono 5 razy

Publikacje, które mogą cię zainteresować

Meta Tagi