 | 2010 |
|---|
| 9 |       | Alexandre David,
Jacob Deleuran Grunnet,
Jan Jakob Jessen,
Kim Guldstrand Larsen,
Jacob Illum Rasmussen:
Application of Model-Checking Technology to Controller Synthesis.
FMCO 2010: 336-351 |
| 2009 |
|---|
| 8 | | Franck Cassez,
Jan Jakob Jessen,
Kim Guldstrand Larsen,
Jean-François Raskin,
Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
HSCC 2009: 90-104 |
| 2007 |
|---|
| 7 | | Jan Jakob Jessen,
Jacob Illum Rasmussen,
Kim Guldstrand Larsen,
Alexandre David:
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
FORMATS 2007: 227-240 |
| 2006 |
|---|
| 6 |  | Jan Jakob Jessen,
Henrik Schiøler:
ZoneLib: A simulink library for modeling zone divided climate dynamics.
CAINE 2006: 199-204 |
| 5 | | Henrik Schiøler,
Jan Jakob Jessen,
Jens Dalsgaard Nielsen,
Kim Guldstrand Larsen:
Introducing synchronisation in deterministic network models.
CAINE 2006: 236-243 |
| 4 | | Jan Jakob Jessen,
Henrik Schiøler:
Parameter estimation for zone based climate dynamics.
Computational Intelligence 2006: 19-24 |
| 3 | | Jan Jakob Jessen,
J. F. D. Nielsen,
Henrik Schiøler,
M. R. Jensen:
COTS technologies for internet based monitoring of livestock buildings.
IMSA 2006: 10-15 |
| 2 | | Henrik Schiøler,
Jens Dalsgaard Nielsen,
Kim Guldstrand Larsen,
Jan Jakob Jessen:
CyNC: A method for real time analysis of systems with cyclic data flows.
J. Embedded Computing 2(3-4): 347-360 (2006) |
| 2005 |
|---|
| 1 | | Henrik Schiøler,
Jan Jakob Jessen,
Jens Dalsgaard Nielsen,
Kim Guldstrand Larsen:
Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies.
Computers and Their Applications 2005: 326-332 |
Data released under the ODC-BY 1.0 license — See also our legal information page