Concepedia

Process algebra for hybrid systems

J.A. Bergstra, C.A. Middelburg

Theoretical Computer Science · 2005 · 16 citations · 16 references

Open access

Concepts

EngineeringComputer ScienceSystems EngineeringProcess Systems EngineeringStochastic ProcessesSystems ModelingHybrid SystemsProcess AlgebraProcess EngineeringProcess ModelingState-space RepresentationProcess Systems ModelingStochastic Hybrid SystemsStochastic Process Algebra

References

16

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.9K citations

Computing, Computer Science, Mathematics +14

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 775 citations

Computing, Computer Engineering, Computer Science +11

A calculus of durations

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn · Information Processing Letters · 1991 · 722 citations

Social Sciences, Mathematics, Stochastic Processes +3