| Publications |
| |
Kim Larsen,
Gerd Behrmann,
Ed Brinksma, Ansgar Fehnker,
Thomas S. Hune,
Paul Petterson and
Judi Romijn. As Cheap as Possible: Efficient
Cost-Optimal Reachability for Priced Timed Automata . CAV 2001. (ps) |
| |
Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Larsen,
Paul Petterson and
Judi Romijn
Efficient Guiding Towards Cost-Optimality
in Uppaal. Proc. TACAS'2001.
(ps) |
| |
Gerd Behrmann, Ansgar Fehnker, Thomas S. Hune, Kim Larsen,
Paul Petterson,
Judi Romijn and
Frits Vaandrager .
Minimum-Cost Reachability
for Linearly Priced Timed Automata. Proc. HSCC'2001.(ps) |
| |
Gerd Behrmann,
Ansgar Fehnker, Thomas S. Hune,
Kim Larsen,
Paul Petterson and
Judi Romijn.
Guiding and Cost-Optimality in Uppaal.
AAAI Spring Symposium Model-Based
Validation of Intelligence, 2001. (ps) |
| |
Tobias Amnell,
Gerd Behrmann,
Johan Bengtsson,
Pedro R. D'Argenio,
Alexandre David, Ansgar Fehnker,
Thomas S. Hune,
Bertrand Jeannet,
Kim Larsen,
M. Oliver Möller,
Paul Pettersson,
Carsten Weise, and
Wang Yi. UPPAAL - Now, Next, and Future. MOVEP'2k, LNCS Tutorial 2067, 2001.
(ps) |
| |
Ansgar Fehnker. Scheduling a Steel Plant with Timed Automata.
RTCSA'99, IEEE Computer Society Press, 1999.
(ps) |
| |
Henning Dierks, Ansgar Fehnker, Angelika Mader and Frits Vaandrager .
Operational and Logical Semantics for Polling Real-Time Systems.
Proc. FTRTFT'98, LNCS 1486, 1998.
(ps) |
| |
Ansgar Fehnker. Automotive Control Revisited -- Linear Inequalities
as Approximation of Reachable Sets.Proc. HSCC'98, LNCS 1386, 1998.
(ps) |
| |
Ansgar Fehnker. Heuristic Reachability Analysis of Hybrid Systems.
Draft,
2000.
(ps) |
| |
Ansgar Fehnker. Bounding and Heuristics in forward reachability
algorithms.Computing Science Institute Nijmegen, Tech. rep. CSI-R0002, 2000.
(ps) |
| |
Ansgar Fehnker. Scheduling a Steel Plant with Timed Automata.
Computing Science Institute Nijmegen, Tech. rep. CSI-R9910, 1999.
(ps) |
| |
Henning Dierks,
Ansgar Fehnker, Angelika Mader and Frits Vaandrager .
Operational
and Logical Semantics for Polling Real-Time Systems.
Computing Science Institute Nijmegen, Tech. rep. CSI-R9813, 1998.
(ps)
|
| |
Ansgar Fehnker. Automotive Control Revisited Linear Inequalities
as Approximation of Reachable Sets. Computing Science Institute Nijmegen,
Tech. rep. CSI-R9723, 1997.
(ps) |
| |
Ansgar Fehnker. Two Identification Methods for an Active Sludge Model. Master's Thesis, Rijksuniversiteit Groningen, 1996.
|
| |
You may find my Bibtex archive here. |
