Pages that link to "Item:Q3493220"
From MaRDI portal
The following pages link to Hybrid dynamical systems theory and the Signal language (Q3493220):
Displaying 15 items.
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- A denotational theory of synchronous reactive systems (Q1193599) (← links)
- Analysis of a hybrid system using symbolic dynamics and Petri nets (Q1337727) (← links)
- Modeling and control of hierarchical systems with fuzzy systems (Q1362424) (← links)
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (Q1365673) (← links)
- Stochastic hybrid control (Q1584642) (← links)
- A modeling strategy for hybrid systems based on event structures (Q1801470) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Trajectory encoding for systems with irregular observations (Q1892998) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- A logical DES approach to the design of hybrid control systems (Q1922193) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
