Similar Items: Introduction to the Special Issue on Distributed Hybrid Systems
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
- Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
- Real-Time Verification for Distributed Cyber-Physical Systems
- Issue Information
- Towards autonomous production control: a reinforcement learning-based model for hybrid remanufacturing systems
- Analysis of the Development of Postal Services in European Countries, with a Special Focus on Serbia and Slovakia