Jan Jakob Jessen

11 papers B 1C 2Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2010 — conf
Application of Model-Checking Technology to Controller Synthesis.
FMCO
Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2009 — conf
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
HSCC
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2008 J jnl
A distributed control algorithm for internal flow management in a multi-zone climate unit.
Int. J. Control
Claudio De Persis, Jan Jakob Jessen, Roozbeh Izadi-Zamanabadi, Henrik Schiøler
2007 — conf
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.
FORMATS
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
2006 B conf
COTS Technologies for Integrating Development Environment, Remote Monitoring and Control of Livestock Stable Climate.
SMC
Jan Jakob Jessen, Henrik Schiøler, Jens Frederik Dalsgaard Nielsen, Martin Risgaard Jensen
2006 — conf
COTS technologies for internet based monitoring of livestock buildings.
IMSA
Jan Jakob Jessen, J. F. D. Nielsen, Henrik Schiøler, Martin Risgaard Jensen
2006 J jnl
CyNC: A method for real time analysis of systems with cyclic data flows.
J. Embed. Comput.
Henrik Schiøler, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen, Jan Jakob Jessen
2006 C conf
Introducing synchronisation in deterministic network models.
CAINE
Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen
2006 — conf
Parameter estimation for zone based climate dynamics.
Computational Intelligence
Jan Jakob Jessen, Henrik Schiøler
2006 C conf
ZoneLib: A simulink library for modeling zone divided climate dynamics.
CAINE
Jan Jakob Jessen, Henrik Schiøler
2005 Misc conf
Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies.
CATA
Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen