Jan Jakob Jessen

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
Application of Model-Checking Technology to Controller Synthesis. FMCO (2010)
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)
Claudio De Persis, Jan Jakob Jessen, Roozbeh Izadi-Zamanabadi, Henrik Schiøler
A distributed control algorithm for internal flow management in a multi-zone climate unit. Int. J. Control 81 (1) (2008)
Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS (2007)
Jan Jakob Jessen, Henrik Schiøler
Parameter estimation for zone based climate dynamics. Computational Intelligence (2006)
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. Embed. Comput. 2 (3-4) (2006)
Jan Jakob Jessen, J. F. D. Nielsen, Henrik Schiøler, Martin Risgaard Jensen
COTS technologies for internet based monitoring of livestock buildings. IMSA (2006)
Henrik Schiøler, Jan Jakob Jessen, Jens Dalsgaard Nielsen, Kim Guldstrand Larsen
Introducing synchronisation in deterministic network models. CAINE (2006)
Jan Jakob Jessen, Henrik Schiøler, Jens Frederik Dalsgaard Nielsen, Martin Risgaard Jensen
COTS Technologies for Integrating Development Environment, Remote Monitoring and Control of Livestock Stable Climate. SMC (2006)
Jan Jakob Jessen, Henrik Schiøler
ZoneLib: A simulink library for modeling zone divided climate dynamics. CAINE (2006)
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. CATA (2005)