The following pages link to (Q5364938):
Displaying 15 items.
- Hybrid consensus for averager-copier-voter networks with non-rational agents (Q721764) (← links)
- Some problems of analysis of hybrid automata (Q1616244) (← links)
- A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata (Q1622234) (← links)
- Cyber-physical systems (Q1699390) (← links)
- Cyber-physical systems: the linguistic aspect (Q2215869) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Modeling for Verification (Q3176361) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Process-Oriented Approach to the Design of Cyber-Physical Systems (Q3296557) (← links)
- A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS (Q3386558) (← links)
- On distributed coordination in networks of cyber-physical systems (Q5382861) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- Vector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected Systems (Q6069417) (← links)