The following pages link to Symbolic models for control systems (Q868433):
Displaying 12 items.
- Asynchronous \(l\)-complete approximations (Q464604) (← links)
- Inductively inferring valid logical models of continuous-state dynamical systems (Q673881) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- On the existence of hybrid models for finite state machines (Q1285722) (← links)
- Symbolic manipulation techniques for model simplification in object-oriented modelling of large scale continuous systems (Q1300464) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Computer symbolic transformations in control problems (Q2488106) (← links)
- Symbolic expression of transfer functions in compartmental systems with control (Q3720389) (← links)
- Design of Symbolic Controllers for Networked Control Systems (Q4629861) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- Designing control systems using exact and symbolic manipulations of formulae (Q5423855) (← links)