No photo of Ansgar Fehnker

Ansgar Fehnker

dr.

19982018
If you made any changes in Pure these will be visible here soon.

Research Output 1998 2018

2001

Minimum-Cost Reachability for Priced Timed Automata

Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J. & Vaandrager, F. W., 2001, Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings. Benedetto, M. D. D. & Sangiovanni-Vincentelli, A. L. (eds.). Springer, p. 147-161 15 p. (Lecture Notes in Computer Science; vol. 2034).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Costs
Computability and decidability
2000
42 Downloads (Pure)

UPPAAL - Now, Next, and Future

Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2000, Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures. Cassez, F., Jard, C., Rozoy, B. & Ryan, M. D. (eds.). Springer, p. 99-124 26 p. (Lecture Notes in Computer Science; vol. 2067).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1999
65 Citations (Scopus)

Scheduling a Steel Plant with Timed Automata

Fehnker, A., 1999, 6th International Conference on Real-Time Computing Systems and Applications 1999. IEEE Computer Society, p. 280-286 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Iron and steel plants
Model checking
Scheduling
1998
9 Citations (Scopus)

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Fehnker, A., 1998, Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Henzinger, T. A. & Sastry, S. (eds.). Berlin: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 1386).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hybrid systems
Linear systems
12 Citations (Scopus)
48 Downloads (Pure)

Operational and logical semantics for polling real-time systems

Anders, P. R. (ed.), Dierks, H., Fehnker, A., Rischel, H. (ed.), Fehnker, A., Mader, A. H. & Vaandrager, F., Sep 1998, p. 29-40. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File