Elsevier Science. Special issue on hybrid systems. Theoretical Computer Science, 138(1), Feb 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verification Tools for Embedded Systems - Clarke, Garlan, Krogh, Simmons.. (Correct)
.... issues in recent research on hybrid dynamic systems include numerical methods for simulation, identifying and characterizing qualitative behaviors such as invariants and limit cycles, synthesizing controllers for various objectives such as stability and reachability, and formal verification [30, 35]. This latter research on formal verification is most germane to the present proposal. In contrast to model checking for finite state systems, algorithmic verification is possible for hybrid dynamic systems with only very simple classes of continuous dynamics [22, 21, 29] Consequently, the best ....
Elsevier Science. Special issue on hybrid systems. Theoretical Computer Science, 138(1), Feb 1995.
Formal Verification of Autonomous Systems NASA.. - Clarke, Garlan.. (Correct)
.... hybrid dynamic systems include numerical methods for determining the accuracy of an approximation, identifying and characterizing qualitative behaviors such as invariants and limit cycles, synthesizing controllers for various objectives such as stability and reachability, and formal verification [4, 30, 36]. This latter research on formal verification is most germane to the present proposal. In contrast 10 to model checking for finite state systems, algorithmic verification is possible for hybrid dynamic systems with only very simple classes of continuous dynamics [22, 21, 29] Consequently, the ....
Elsevier Science. Special issue on hybrid systems. Theoretical Computer Science, 138(1), Feb 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC