• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i tidsskrift
2009
196 Downloads (Pure)

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts

Jacobsen, M., Jacobsen, L. & Møller, M. H., dec. 2009, I : OpenAccess Series in Informatics. 12, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Petri nets
Computability and decidability
40 Citationer (Scopus)
742 Downloads (Pure)

Unknown input observer based scheme for detecting faults in a wind turbine converter

Odgaard, P. F. & Stoustrup, J., 2009, I : Elsevier IFAC Publications / IFAC Proceedings series.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
4 Citationer (Scopus)
389 Downloads (Pure)

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, I : Lecture Notes in Computer Science. 5850, s. 676-691 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Real time systems
Chart
Real-time
Scenarios
Timed Automata

Walkaround® assisted walking of stroke patients

Duric-Jovicic, M., Milovanovic, I., Jovicic, N. & Popovic, D. B., 2009, I : International Federation for Medical and Biological Engineering Proceedings. 25, 9, s. 299-301

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

291 Downloads (Pure)

WCET Analysis of ARM Processors using Real-Time Model Checking

Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, I : RWTH Aachen, Dept. of Computer Science. 14, s. 4-6

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
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
481 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
62 Citationer (Scopus)

Parallel Distributed Processing of Constrained Skyline Queries by Filtering

Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 2008, I : Proceedings / International Conference on Data Engeenering. s. 546-555 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

Parametric fault estimation based on H∞ optimization in a satellite launch vehicle

Soltani, M., Izadi-Zamanabadi, R. & Stoustrup, J., 2008, I : Proceedings of the IEEE Conference on Control Applications. s. 727-732

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Launch vehicles
Satellites
Jet engines
Health
Detectors
326 Downloads (Pure)

Plug-and-play process control: Improving control performance through sensor addition and pre-filtering

Bendtsen, J. D., Trangbæk, K. & Stoustrup, J., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Process control
Sensors
Control systems
Experiments
242 Downloads (Pure)

Preventing refrigerated foodstuffs in supermarkets from being discarded on hot days by mpc

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Compressors
Temperature
Model predictive control
Refrigeration
Display devices
5 Citationer (Scopus)
318 Downloads (Pure)

Rate bounded linear parameter varying control of a wind turbine in full load operation

Østergaard, K. Z., Stoustrup, J. & Brath, P., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Wind turbines
Controllers
Scheduling
247 Citationer (Scopus)

SpaceTwist: Managing the Trade-Offs Among Location Privacy, Query Performance, and Query Accuracy in Mobile Services

Yiu, M. L., Jensen, C. S., Xuegang, H. & Lu, H., 2008, I : Proceedings / International Conference on Data Engeenering. s. 366-375 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Servers
Query processing
Middleware
Communication
Costs
14 Citationer (Scopus)
210 Downloads (Pure)

Stable controller reconfiguration through terminal connections

Trangbæk, K., Stoustrup, J. & Bendtsen, J. D., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Controllers
Actuators
Hardware
Control systems
Sensors
146 Downloads (Pure)

The Power Context of Method-in-Action: A Case Study

Munk-Madsen, A., 2008, I : CEUR Workshop Proceedings. s. 14-24 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Information systems
14 Citationer (Scopus)
231 Downloads (Pure)

Towards automatic model based controller design for reconfigurable plants

Michelsen, A. G., Stoustrup, J. & Izadi-Zamanabadi, R., 2008, I : Elsevier IFAC Publications / IFAC Proceedings series. 1

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
Controllers
Actuators
Process control
Sensors
Radiators
2 Citationer (Scopus)

Towards efficient main-memory use for optimum tree index update

Biveinis, L. & Saltenis, S., 2008, I : Proceedings of the VLDB Endowment. 1, s. 1617-1622

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

156 Downloads (Pure)

Udpegning af potentielle sorte pletter via floating car data

Splid Svendsen, M., Tradisauskas, N. & Lahrmann, H., 2008, I : Artikler fra Trafikdage på Aalborg Universitet. 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
Fil
21 Citationer (Scopus)

View Invariant Gesture Recognition using 3D Motion Primitives

Holte, M. B. & Moeslund, T. B., 2008, I : Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing. s. 797-800

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