Similar Items: Higher-Dimensional Timed and Hybrid Automata
- Kleene Theorem for Higher-Dimensional Automata
- Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
- Higher-dimensional automata modeling shared-variable systems
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Dimensional control of turbine blades via RSM-based process parameter optimization in investment casting
- Introduction to the Special Issue on Distributed Hybrid Systems