Ansgar Fehnker's Publications |
|
Ansgar
Fehnker, Citius, Vilius, Meluis - Guiding and
Cost-Optimality in Model Checking of Timed and Hybrid
Systems, PhD thesis, KUNijmegen, 2002, (pdf)
|
|
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. (pdf) |
|
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. |