• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
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
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

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

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
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
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

2007

A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems

Mardare, R. I. & Ihekwaba, A., 2007, I : AIP Conference Proceedings. s. 42 46 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

calculus
congressional reports
engineering
physics

Automated Design Procedure for an Active Ball Joint Mechanism

Hansen, M. R., Andersen, T. O. & Bai, S., 2007, I : Proceedings of the Nordic Seminar on Computational Mechanics, (NSCM). 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

BetaWB - A language for modular representation of biological systems

Ihekwaba, A., Larcher, R., Mardare, R. I. & Priami, C., 2007, I : Proccedings of International Conference on Systems Biology ICSB 2007.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Biological Sciences

Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes

Cavaliere, M., Mardare, R. I. & Sedwards, S., 2007, I : Computer and Automation Research Institute of the Hungarian Academy of Sciences. s. 35 51 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Automation
Education
5 Citationer (Scopus)

Complexity in Simplicity: Flexible Agent-based State Space Exploration

Rasmussen, J. I. & Larsen, K. G., 2007, I : Lecture Notes in Computer Science. s. 231-245

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Simplicity
State Space
Pattern Search
Frustration
Timed Automata
132 Citationer (Scopus)

Efficient Processing of Top-k Dominating Queries on Multi-Dimensional Data

Yiu, M. L. & Mamoulis, N., 2007, I : Proceedings of the VLDB Endowment. s. 483-494

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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
2008

A Complete Axiomatic System for Process-based Spatial Logic

Mardare, R. I. & Policriti, A., 2008, I : Lecture Notes in Computer Science. s. 491 502 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Computer science
Computer Science
Logic

Acting under interference by other agents with unknown goals

Sønderberg-Madsen, N. & Jensen, F. V., 2008, I : Frontiers in Artificial Intelligence and Applications. 173, s. 157-164 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Experiments
14 Citationer (Scopus)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, I : Journal of Physics - Conference Series. 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

wide area networks
bandwidth
recommendations
maintenance
resources
2 Citationer (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, I : Journal of Physics - Conference Series. 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

resources

A fast sign localization system using discriminative color invariant segmentation

Nguyen, P. G. & Andersen, H. J., 2008, I : ISSN International Centre. s. 507-513 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A Flexible Query Framework for Music Data and Playlist Manipulation

Ruxanda, M. M. & Jensen, C. S., 2008, I : Database and Expert Systems Applications. 19, s. 693-697 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

8 Citationer (Scopus)
327 Downloads (Pure)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, I : Design, Automation and Test in Europe. s. 443-448 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Testing
Acoustic waves

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, I : Journal of Physics - Conference Series. 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

connectors
resources
data management
grids
modules
482 Downloads (Pure)

An active defrost scheme with a balanced energy consumption and food quality loss in supermarket refrigeration systems

Cai, J., Stoustrup, J. & Rasmussen, B. D., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Refrigeration
Energy utilization
Cooling
Feedback
2 Citationer (Scopus)

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, I : Journal of Physics - Conference Series. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

grids
resources
Denmark
Finland
Norway
7 Citationer (Scopus)

Closed-loop System Identification with New Sensors

Bendtsen, J. D., Trangbæk, K. & Stoustrup, J., 2008, I : I E E E Conference on Decision and Control. Proceedings. s. 2631-2636 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

System Identification
Closed loop systems
Closed-loop System
Identification (control systems)
Multivariable Control
5 Citationer (Scopus)

Combinatorial Vector Fields for Piecewise Affine Control Systems

Wisniewski, R. & Larsen, J. A., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1, 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Control systems
Merging
Trajectories
9 Citationer (Scopus)

Common Influence Join: A Natural Join Operation for Spatial Pointsets

Yiu, M. L., Mamoulis, N. & Karras, P., 2008, I : Proceedings / International Conference on Data Engeenering. s. 100-109 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Marketing
Costs
5 Citationer (Scopus)
225 Downloads (Pure)

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., dec. 2008, I : Electronic Notes in Theoretical Computer Science. 220, 1, 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Testing
Acoustic waves
Game
Black-box Testing
Conformance Testing

Direct Integration: Training Software Developers to Conduct Usability Evaluations

Skov, M. B. & Stage, J., 2008, I : CEUR Workshop Proceedings. s. 74-81

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Software engineering
Websites
Software design
Education
Students
137 Citationer (Scopus)
692 Downloads (Pure)

Estimation of effective wind speed

Østergaard, K. Z., Brath, P. & Stoustrup, J., 2008, I : Journal of Physics - Conference Series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
152 Downloads (Pure)

Forskønnede centrale bygader: Den sikkerhedsmæssige effekt

Hvid Nielsen, P. & Lahrmann, H., 2008, I : Artikler fra Trafikdage på Aalborg Universitet. 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
Fil

Hybrid Adaptive Observer for a Brushless DC Motor

Niemczyk, P., Porchez, T., Bendtsen, J. D. & Kallesøe, C., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Brushless DC motors
Electric current measurement
515 Downloads (Pure)

Hybrid model predictive control applied to switching control of burner load for a compact marine boiler design

Solberg, B., Andersen, P., Maciejowski, J. & Stoustrup, J., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Marine boilers
Model predictive control
Fuel burners
Switches
Boilers
31 Citationer (Scopus)

iSky: Efficient and Progressive Skyline Computing in a Structured P2P Network

Chen, L., Cui, B., Lu, H., Xu, L. & Xu, Q., 2008, I : Distributed Computing Systems. s. 160-167 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Adaptive filtering
Distributed computer systems
Information management
Costs
Decision making
1 Citation (Scopus)

Minimizing quality deteriorations of refrigerated foodstuffs as a side effect of defrosting

Cai, J. & Stoustrup, J., 2008, I : American Control Conference (ACC). s. 1836-1841 5 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Defrosting
Deterioration
Refrigeration
Hysteresis
Compressors
2 Citationer (Scopus)

Modular Modelling and Simulation Approach - Applied to Refrigeration Systems

Sørensen, K. K. & Stoustrup, J., 2008, I : Proceedings of the IEEE Conference on Control Applications. s. 983-988

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
XML
Containers
Large scale systems
Costs
1 Citation (Scopus)
331 Downloads (Pure)

Moving horizon control and estimation of livestock ventilation systems and indoor climate

Wu, Z., Stoustrup, J. & Jørgensen, J. B., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Agriculture
Ventilation
Actuators
Poultry
Multivariable systems
10 Citationer (Scopus)

On Propagating Requirements and Selecting Fuels for a Benson Boiler

Kragelund, M. N., Wisniewski, R., Mølbak, T., Nielsen, R. J. & Edlund, K., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Boilers
Actuators
Industry
Power plants
Sensors
1 Citation (Scopus)

On the Trade-off between Energy Consumption and Food Quality Loss in Supermarket Refrigeration Systems

Cai, J., Jensen, J. B., Skogestad, S. & Stoustrup, J., 2008, I : American Control Conference (ACC). s. 2880-2885 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Refrigeration
Energy utilization
Pressure control
Energy conservation
Temperature
48 Citationer (Scopus)

Optimal infinite scheduling for multi-priced timed automata

Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, I : Formal Methods in System Design. 1, 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

14 Citationer (Scopus)

Optimal Model-Based Control in HVAC Systems

Komareji, M., Stoustrup, J., Rasmussen, H., Bidstrup, N., Svendsen, P. & Nielsen, F., 2008, I : American Control Conference (ACC). s. 1443-1448 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Air conditioning
Heating
Heat exchangers
Air
Controllers