Prosjekter
Kontaktperson, prosjekter
Ekspertise
Kontaktperson, ekspertise
Publikasjoner
- Challenges of TSO-DSO Voltage Regulation Under Real-Time Data Exchange Paradigm
- Composable Distributed Real-Time Systems with Deterministic Network Channels
- Ember: An Embedded Robotics Library in SPARK
- Ember: An Embedded Robotics Library in SPARK
- Multi-Sensor Fusion for Autonomous Space Position Navigation and Timing
- Vil sende roboter for å reparere satellitter i verdensrommet
- Sintef vil ha roboter i rommet
- Trends in robotics and autonomous systems - what will we see next?
- Clock and timer support in Ada
- Ada support for heterogenous architectures