Semi-formal verification of closed-loop specifications in the concept design phase.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. 115, doi. 10.1515/auto-2015-0067
- By:
- Publication type:
- Article
Works matching IS 01782312 AND DT 2017 AND VI 65 AND IP 2
Results: 6
1
2
Zustandsbeobachtung linearer Systeme mit unbekannten Eingängen State observation for linear systems with unknown inputs.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. 99, doi. 10.1515/auto-2016-0084
- By:
- Publication type:
- Article
3
sss & sssMOR: Analysis and reduction of large-scale dynamic systems in MATLAB.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. 134, doi. 10.1515/auto-2016-0137
- By:
- Publication type:
- Article
4
Frontmatter.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. i, doi. 10.1515/auto-2017-frontmatter1
- Publication type:
- Article
5
Passivitätsbasierte Kraft- und Impedanzregelung für Roboter mit starren Gelenken mittels Energietanks Passivity-based unification of force and impedance control via energy tanks for rigid joint robots.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. 124, doi. 10.1515/auto-2016-0108
- By:
- Publication type:
- Article
6
Bayesian environment representation, prediction, and criticality assessment for driver assistance systems.
- Published in:
- Automatisierungstechnik, 2017, v. 65, n. 2, p. 151, doi. 10.1515/auto-2016-0129
- By:
- Publication type:
- Article