[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

PlatzerClarke08

  1. Andre Platzer & Edmund M Clarke
  2. Computing Differential Invariants of Hybrid Systems as Fixed Points
  3. CMU CS Technical Report [ CMU-CS-08-103.pdf ] (PDF)
  4. =MATHEMATICS MODEL LOGIC ODEs DIFERENTIAL EQUATIONS SAFETY HYBRID PROGRAMS
  5. Gives a way to compute whether formula describing important properties are true for all time or not.
  6. [α]φ = all states reachable thru Hybrid program α satisfy φ.
  7. Formulas assembled out of terms (expression ~ expression) for relation "~".
  8. Directional derivative of a term t wrt to vector equation D : x_dot = θ, ∇[t] = ∇ t.θ.
  9. Differential Invariant of a formula F depends on ∇[D]F is the conjunction of ∇ t.θ over all terms t in F.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]