Publikationer pr. år
Publikationer 1987 2020
- 300 - 350 ud af 367 resultater
- Udgivelsesår, titel (faldende)
2009
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-301Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-6Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Experiments
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
wide area networks
bandwidth
recommendations
maintenance
resources
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil
Refrigeration
Energy utilization
Cooling
Feedback
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Control systems
Merging
Trajectories
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Marketing
Costs
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-81Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Software engineering
Websites
Software design
Education
Students
Estimation of effective wind speed
Østergaard, K. Z., Brath, P. & Stoustrup, J., 2008, I : Journal of Physics - Conference Series.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning
Å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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil
Marine boilers
Model predictive control
Fuel burners
Switches
Boilers
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Defrosting
Deterioration
Refrigeration
Hysteresis
Compressors
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-988Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Boilers
Actuators
Industry
Power plants
Sensors
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Refrigeration
Energy utilization
Pressure control
Energy conservation
Temperature
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Air conditioning
Heating
Heat exchangers
Air
Controllers
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
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-732Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil
Wind turbines
Controllers
Scheduling
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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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. 1Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Fil
Controllers
Actuators
Process control
Sensors
Radiators
Towards efficient main-memory use for optimum tree index update
Biveinis, L. & Saltenis, S., 2008, I : Proceedings of the VLDB Endowment. 1, s. 1617-1622Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning
Åben adgang
Fil
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-800Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Automation
Education
Complexity in Simplicity: Flexible Agent-based State Space Exploration
Rasmussen, J. I. & Larsen, K. G., 2007, I : Lecture Notes in Computer Science. s. 231-245Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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-494Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review