• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2007
1 Citation (Scopus)

Improved Model Predictive Control of Discrete-Time Hybrid Systems with Mixed Inputs

Gholami, M., Salahshoor, K., Tabatabaeipour, S. M., Shaker, H. R. & Alizadeh, T., 2007, I : Proceedings of the Annual Conference of the IEEE Industrial Electronics Society. s. 744-749

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

Model-Checking One-Clock Priced Timed Automata

Bouyer, P., Larsen, K. G. & Markey, N., 2007, I : Lecture Notes in Computer Science. s. 108-122 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

6 Citationer (Scopus)

Observing Distributed Computation. A Dynamic-Epistemic Approach

Mardare, R. I., 2007, I : Lecture Notes in Computer Science. s. 379 393 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Distributed Computation
Computer science
Computer Science
Coalgebra
Algebra
2006

Data Always and Everywhere -- Management of Mobile, Ubiquitous, Pervasive, and Sensor Data: Dagstuhl Seminar Proceedings 05421

Alonso, G., Jensen, C. S. & Mitschang, B., 2006, I : Dagstuhl Seminar Proceedings. 37 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Decidable extensions of Hennessy-Milner Logic

Mardare, R. I. & Priami, C., 2006, I : Lecture Notes in Computer Science. 4229, s. 196 211 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Formal methods
Formal Methods
Computer science
Distributed Systems
Computer Science
1 Citation (Scopus)

Internal flow management in a multi-zone climate control unit

De Persis, C., Jessen, J. J., Izadi-Zamanabadi, R. & Schiøler, H., 2006, I : Proceedings of the IEEE Conference on Control Applications. s. 1043-1048 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Climate control
Controllers
Ventilation
Dynamic models
Heating
54 Citationer (Scopus)

Model checking of time Petri nets using the state class timed automaton

Lime, D. & Roux, O. H., 2006, I : Discrete Event Dynamic Systems. 16, 2, s. 179-205 27 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

17 Citationer (Scopus)

On using priced timed automata to achieve optimal scheduling

Rasmussen, J. I., Larsen, K. G. & Subramani, K., 2006, I : Formal Methods in System Design. 29, 1, s. 97-114 18 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Optimal Scheduling
Timed Automata
Scheduling
Reachability
Costs

Playing with partial knowledge in membrane systems: A logical approach

Cavaliere, M. & Mardare, R. I., 2006, I : Lecture Notes in Computer Science. s. 279 297 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Membrane Computing
Biology
Computer Science
Membrane
Cytology

Sociable mobile robots through self-maintained energy

Ngo, T. D. & Schiøler, H., 2006, I : Conference Proceedings / IEEE International Conference on Systems, Man and Cybernetics. 1-6, s. 2012-2017

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2005

HUGIN - The Tool for Bayesian Networks and Influence Diagrams

Jensen, F., Kjærulff, U. B., Lang, M. & Madsen, A. L., 2005, I : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. s. 212-221

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

13 Citationer (Scopus)

Model checking biological systems described using ambient calculus

Mardare, R. I., Priami, C., Qualia, P. & Vagin, O., 2005, I : Lecture Notes in Bioinformatics. 3082, s. 85 103 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Model checking
Biological systems
Systems Biology
Bioinformatics
Computational methods
2003

Gain scheduling control of nonlinear systems based on neural state space models

Bendtsen, J. D. & Stoustrup, J., 1 jan. 2003, I : IFAC Proceedings Volumes (IFAC-PapersOnline). 36, 11, s. 573-578 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Nonlinear systems
Scheduling
Neural networks
Controllers
Robust control
6 Citationer (Scopus)

Passive fault tolerant control of a double inverted pendulum - A case study example

Niemann, H. & Stoustrup, J., 1 jan. 2003, I : IFAC Proceedings Volumes (IFAC-PapersOnline). 36, 5, s. 927-932 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Pendulums
Controllers
Parameterization
Degradation
2001
7 Citationer (Scopus)

Using structuration theory in action research: A intranet development project

Rose, J. & Lewis, P., 2001, I : IFIP International Federation for Information Processing. 66, s. 273-295 23 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

2000
26 Citationer (Scopus)

Model-Checking Real-Time Control Programs: Verifying LEGO (R) MINDSTORMS (TM) systems using UPPAAL

Iversen, T. K., Kristoffersen, K. J., Larsen, K. G., Laursen, M., Madsen, R. G., Mortensen, S. K., Pettersson, P. & Thomasen, C. B., 2000, I : Euromicro Conference on Real-Time Systems. Proceedings. s. 147-155 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

1997
5 Citationer (Scopus)

μ-Synthesis for the coupled mass benchmark problem

Niemann, H. H., Stoustrup, J., Toffner-Clausen, S. & Andersen, P., 1 jan. 1997, I : Proceedings of the American Control Conference. 4, s. 2611-2615 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Controllers