Aalborg University Space Center

Publikationer

Publikationer pr. år 2000 2007 2008 2009 2010 2011 2012 2013 2014 2021 2022 2024 2024

• 196 Konferenceartikel i proceeding
• 114 Tidsskriftartikel
• 41 Konferenceartikel i tidsskrift
• 5 Paper uden forlag/tidsskrift
• 27 Mere
  • 4 Bidrag til bog/antologi
  • 4 Konferenceabstrakt til konference
  • 3 Rapport
  • 3 Konferenceabstrakt i proceeding
  • 3 Ph.d.-afhandling
  • 2 Poster
  • 2 Kommentar/debat
  • 2 Letter
  • 2 Preprint
  • 1 Leder
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2020

  Ærø: A Platform Architecture for Mixed-Criticality Airborne Systems

  Majumder, S., Nielsen, J. F. D. & Bak, T., 2020, I: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 10, s. 2307-2318 12 s., 8935377.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Platform Architecture 100%
  • Airborne System 100%
  • Criticality 100%
  • Individual Application 100%
  • Partitioned Scheduling 100%
  2 Citationer (Scopus)

  331 Downloads (Pure)
• 2019

  A Real-time On-Chip Network Architecture for Mixed Criticality Aerospace Systems

  Majumder, S., Nielsen, J. F. D., la Cour-Harbo, A., Schiøler, H. & Bak, T., 1 nov. 2019, I: The Aeronautical Journal. 123, 1269, s. 1788-1806 19 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Network on chip 100%
  • Time Predictability 100%
  • Mixed-criticality 100%
  • Temporal Isolation 100%
  • Network Architecture 100%
  3 Citationer (Scopus)

  200 Downloads (Pure)

• Reliable flight control system architecture for agile airborne platforms: an asymmetric multiprocessing approach

  Majumder, S., Nielsen, J. F. D., Bak, T. & La Cour-Harbo, A., 3 jun. 2019, I: The Aeronautical Journal. 123, 1264, s. 840-862 23 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • System Software 100%
  • Hardware Resource 100%
  • Hardware Level 100%
  • Multiprocessing 100%
  • System Architectures 100%
  5 Citationer (Scopus)

  244 Downloads (Pure)
• 2018

  Reducing the carbon footprint of house heating through model predictive control - A simulation study in Danish conditions

  Vogler-Finck, P. J. C., Wisniewski, R. & Popovski, P., 1 okt. 2018, I: Sustainable Cities and Society. 42, s. 558-573 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  28 Citationer (Scopus)

  271 Downloads (Pure)

• Robust and global attitude stabilization of magnetically actuated spacecraft through sliding mode

  Sofyali, A., Mojallali, E. & Wisniewski, R., 2018, I: Aerospace Science and Technology. 76, 05-2018, s. 91-104 14 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  58 Citationer (Scopus)
• 2017

  On robust stability of switched systems in the context of Filippov solutions

  Ahmadi, M., Mojallali, H. & Wisniewski, R., 2017, I: Systems & Control Letters. 109, 11-2017, s. 17-23

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  8 Citationer (Scopus)

• Teacher in a problem-based learning environment: Jack of all trades?

  Dahms, M. L., Spliid, C. C. M. & Nielsen, J. F. D., 2017, I: European Journal of Engineering Education. 42, 6, s. 1196-1219 24 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  18 Citationer (Scopus)
• 2016

  Converse Barrier Certificate Theorems

  Wisniewski, R. & Sloth, C., maj 2016, I: I E E E Transactions on Automatic Control. 61, 5, s. 1356-1361

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Singular Element 100%
  • Assuming 100%
  • Singular Point 100%
  • Dynamical System 100%
  • Illustrative Example 25%
  46 Citationer (Scopus)

• Model Reduction by Nice Selections for Linear Switched Systems

  Bastug, M., Petreczky, M., Wisniewski, R. & Leth, J.-J., nov. 2016, I: I E E E Transactions on Automatic Control. 61, 11, s. 3422 - 3437 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  22 Citationer (Scopus)

• On Using Pareto Optimality to Tune a Linear Model Predictive Controller for Wind Turbines

  Odgaard, P. F., Larsen, L. F. S., Wisniewski, R. & Hovgaard, T., 2016, I: Renewable Energy. 87, Part 2, s. 884-891

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  46 Citationer (Scopus)

• Reachability and Observability Reduction for Linear Switched Systems with Constrained Switching

  Bastug, M., Petreczky, M., Wisniewski, R. & Leth, J.-J., dec. 2016, I: Automatica. 74, December, s. 162-170 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  15 Citationer (Scopus)
• 2015

  Accurate Analysis of Subharmonic Oscillations of V-2 and (VIc)-I-2 Controls Applied to Buck Converter

  Cortes, J., Svikovic, V., Alou, P., Oliver, J. A., A. Cobos, J. & Wisniewski, R., feb. 2015, I: I E E E Transactions on Power Electronics. 30, 2, s. 1005-1018

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  53 Citationer (Scopus)

• Data-Driven Predictive Direct Load Control of Refrigeration Systems

  Shafiei, S. E., Knudsen, T., Wisniewski, R. & Andersen, P., 23 apr. 2015, I: IET Control Theory and Applications. 9, 7, s. 1022 - 1033

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Refrigeration System 100%
  • Electric Power Utilization 100%
  • Direct Load Control 100%
  • Simulation Tool 50%
  • Control Scheme 50%
  17 Citationer (Scopus)
• 2014

  Analysis of synchronization in a supermarket refrigeration system

  Wisniewski, R., Leth, J.-J. & Rasmussen, J. G., 2014, I: Journal of Control Theory and Applications. 12, 2, s. 154-162

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Refrigeration System 100%
  • Poincar Map 100%
  • Periodic Trajectories 40%
  • Expansion Valve 33%
  • Energy Engineering 33%
  2 Citationer (Scopus)

• Distribution Loss Reduction by Household Consumption Coordination in Smart Grids

  Juelsgaard, M., Andersen, P. & Wisniewski, R., jun. 2014, I: I E E E Transactions on Smart Grid. 5, 4, s. 2133-2144

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Nonlinear Penalty 100%
  • Alternating Direction multiplier Method 100%
  • Alternating Direction Method of Multipliers 100%
  28 Citationer (Scopus)

• Fault Tolerant Distributed Portfolio Optimization in Smart Grids

  Juelsgaard, M., Wisniewski, R. & Bendtsen, J. D., 2014, I: International Journal of Robust and Nonlinear Control. 24, 8-9, s. 1317-1340

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Electrical Grid 100%
  • Electrical Power Production 100%
  • Power Balance 100%
  • Computation Time 100%
  • Distributed Optimization 100%
  12 Citationer (Scopus)

• Global asymptotic stabilization of large-scale hydraulic networks using positive proportional controls

  Jensen, T. N. & Wisniewski, R., 11 mar. 2014, I: I E E E Transactions on Control Systems Technology. 22, 6, s. 2417-2423

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Global Asymptotic Stability 100%
  • Equilibrium Point 100%
  • Globally Asymptotically Stable 66%
  • Asymptotically Stable Equilibrium Point 66%
  • Decentralized Control Architecture 33%
  5 Citationer (Scopus)

• Guaranteed Cost H∞ Controller Synthesis for Switched Systems Defined on Semi-algebraic Sets

  Ahmadi, M., Mojallali, H. & Wisniewski, R., 2014, I: Nonlinear Analysis: Hybrid Systems. 11, s. 37-56 20 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Sum of Squares 100%
  • Algebraic Set 100%
  • Guaranteed Cost 100%
  • Semi-algebraic Sets 100%
  • Controller Synthesis 100%
  11 Citationer (Scopus)

  552 Downloads (Pure)

• In-orbit estimation of time-varying residual magnetic moment

  Soken, H. E., Sakai, S. I. & Wisniewski, R., okt. 2014, I: IEEE Transactions on Aerospace and Electronic Systems. 50, 4, s. 3126-3136 11 s., 6978903.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Residual Magnetic Moment 100%
  • Orbit Determination 100%
  • Magnetic Moment 100%
  • State Space Model 100%
  • Kalman Filter 33%
  13 Citationer (Scopus)

• Local analysis of hybrid systems on polyhedral sets with state-dependent switching

  Leth, J. & Wisniewski, R., 1 jun. 2014, I: International Journal of Applied Mathematics and Computer Science. 24, 2, s. 341-355 15 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang
  5 Citationer (Scopus)

• Modular simulation of reefer container dynamics

  Sørensen, K. K., Nielsen, J. F. D. & Stoustrup, J., 2014, I: Simulation. 90, 3, s. 249-264

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Simulation Model 100%
  • Simulation Environment 50%
  • Simulation Method 50%
  • Spare Part 50%
  • Energy Engineering 50%
  4 Citationer (Scopus)

• Optimal Control of Nonlinear Hydraulic Networks in the Presence of Disturbance

  Tahavori, M., Leth, J.-J., Kallesøe, C. & Wisniewski, R., 2014, I: Nonlinear Dynamics. 75, 3, s. 539-548

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hydraulics 100%
  • Water Supply Systems 100%
  • Optimal Control 100%
  • Water Supply 100%
  • Nonlinear Optimal Control Problem 50%
  4 Citationer (Scopus)

• Output Regulation of Large-Scale Hydraulic Networks

  De Persis, C., Jensen, T. N., Ortega, R. & Wisniewski, R., 2014, I: I E E E Transactions on Control Systems Technology. 22, 1, s. 238 - 245 8 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hydraulics 100%
  • End-Users 100%
  • Large-Scale Hydraulic Networks 100%
  • Output Regulation 100%
  • District Heating System 50%
  28 Citationer (Scopus)

• Output Regulation of Large-Scale Hydraulic Networks with Minimal Steady State Power Consumption

  Jensen, T. N., Wisniewski, R., De Persis, C. & Kallesøe, C., 2014, I: Control Engineering Practice. 22, s. 103-113

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hydraulics 100%
  • Electric Power Utilization 100%
  • Over-actuated 33%
  • District Heating System 25%
  • End-Users 25%
  5 Citationer (Scopus)

• Plant-wide dynamic and static optimisation of supermarket refrigeration systems

  Green, T., Izadi-Zamanabadi, R., Roozbeh, R.-F. & Niemann, H. H., 2014, I: International Journal of Refrigeration. 38

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Refrigeration System 100%
  • State Condition 100%
  • Wide Dynamic 100%
  • Static Optimization 100%
  • Systems Performance 66%
  5 Citationer (Scopus)

• State-space representation of the wind flow model in wind farms

  Soleimanzadeh, M., Wisniewski, R. & Brand, A., apr. 2014, I: Wind Energy. 17, 4, s. 627-639 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Linearized Navier-Stokes Equations 100%
  • Vortex Cylinder 100%
  33 Citationer (Scopus)
• 2013

  Balanced truncation for linear switched systems

  Petreczky, M., Wisniewski, R. & Leth, J.-J., 2013, I: Nonlinear Analysis: Hybrid Systems. 10, s. 4-20

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Controllability 100%
  • Grammian 66%
  • Quadratic Stability 33%
  • Reminiscence 33%
  • Shaker 33%
  30 Citationer (Scopus)

• Complete Abstractions of Dynamical Systems by Timed Automata

  Sloth, C. & Wisniewski, R., feb. 2013, I: Nonlinear Analysis: Hybrid Systems. 7, 1, s. 80-100

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Sum-of-squares Optimization 100%
  • Directional Derivative 100%
  • Polynomial Dynamical Systems 100%
  • Sublevels 100%
  13 Citationer (Scopus)

• Estimation of Rotor Effective Wind Speed: A Comparison

  Soltani, M., Knudsen, T., Svenstrup, M., Wisniewski, R., Brath, P., Ortega, R. & Johnson, K., jul. 2013, I: I E E E Transactions on Control Systems Technology. 21, 4, s. 1155-1167 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Rotors 100%
  • Rotor Equivalent Wind Speed 100%
  • Power Production 50%
  • Turbine Components 50%
  • Reduce Load 50%
  161 Citationer (Scopus)

  1 Downloads (Pure)

• Global stabilisation of large-scale hydraulic networks with quantised and positive proportional controls

  Jensen, T. N. & Wisniewski, R., 2013, I: IET Control Theory & Applications. 7, 3, s. 380-386

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  3 Citationer (Scopus)

• Motivating Students to Develop Satellites in a Problem and Project-Based Learning Environment

  Larsen, J. A., Nielsen, J. F. D. & Zhou, C., jul. 2013, I: International Journal of Engineering Pedagogy. 3, 3, s. 11-17

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Project-Based Learning 100%
  • Problem-Based Learning 100%
  • Educational Environment 100%
  • Motivating Students 100%
  • Research Question 100%

• Single Temperature Sensor Superheat Control Using a Novel Maximum Slope-seeking Method

  Vinther, K., Rasmussen, H., Izadi-Zamanabadi, R. & Stoustrup, J., 2013, I: International Journal of Refrigeration. 36, 3, s. 1118-1129 12 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Single Temperature 100%
  • Thermal Sensor 100%
  • Maximum Slope 100%
  • Evaporator 66%
  • Refrigeration System 33%
  22 Citationer (Scopus)

  994 Downloads (Pure)

• The Feasibility of Communication Among Pumps in a District Heating System

  Meybodi, S. A., Dohler, M., Askarpour, A. N., Bendtsen, J. D. & Nielsen, J. F. D., 2013, I: I E E E Antennas and Propagation Magazine. 55, 3, s. 118-134

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • District Heating System 100%
  • Experimental Result 66%
  • Cellphone 33%
  • Electric Field 33%
  • Power Line Communication 33%
  8 Citationer (Scopus)

  485 Downloads (Pure)

• Toward Model-Based Control of Non-linear Hydraulic Networks

  Tahavori, M., Jensen, T. N., Kallesøe, C., Leth, J.-J. & Wisniewski, R., okt. 2013, I: Journal of Vibration and Control. 19, 14, s. 2145-2153 8 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hydraulics 100%
  • Model-Based Control 100%
  • Water Supply Systems 100%
  • Hydraulic Network 100%
  • Water Supply 100%
  5 Citationer (Scopus)

• Utilization of Wind Turbines for Up-regulation of Power Grids

  Juelsgaard, M., Bendtsen, J. D. & Wisniewski, R., 2013, I: I E E E Transactions on Industrial Electronics. 60, 7, s. 2851-2863

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Power Grid 100%
  • Wind Turbine 100%
  • Simple Model 100%
  • Convex Problem 100%
  • Upregulation 100%
  15 Citationer (Scopus)
• 2012

  An Optimization Framework for Load and Power Distribution in Wind Farms

  Soleimanzadeh, M., Wisniewski, R. & Kanev, S., aug. 2012, I: Journal of Wind Engineering & Industrial Aerodynamics. 107-108, s. 256-262 7 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Power Distribution 100%
  • Load Distribution 100%
  • Wind Turbine 100%
  • Optimisation Problem 40%
  • Reference Signal 40%
  63 Citationer (Scopus)

  821 Downloads (Pure)

• A Problem and Project-Based Learning (PBL) Approach to Motivate Group Creativity in Engineering Education

  Zhou, C., Kolmos, A. & Nielsen, J. F. D., 2012, I: International Journal of Engineering Education. 28, 1, s. 3-16 14 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  87 Citationer (Scopus)

• Evaluation of AIS Reception in Arctic Regions From Space by using a Stratospheric Ballon Flight

  Larsen, J. A., Nielsen, J. F. D., Mortensen, H. P., Rasmussen, U. W., Laursen, T. & Ledet-Pedersen, J., 2012, I: Polar Record. 48, 1, s. 39-47 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  3 Citationer (Scopus)

  1189 Downloads (Pure)

• H ∞ Stabilization of uncertain piecewise linear systems with Filippov solutions

  Ahmadi, M., Mojallali, H. & Wisniewski, R., 2012, I: Control Engineering and Applied Informatics. 14, 2, s. 3-12

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Model Reduction of Switched Systems Based on Switching Generalized Gramians

  Shaker, H. R. & Wisniewski, R., jul. 2012, I: International Journal of Innovative Computing, Information and Control. 8, 7(B), s. 5025-5044 20 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Linear System 100%
  • Discrete Time 100%
  • Reduction Method 50%
  • Reduction of Order 50%
  • Numerical Instability 50%
  31 Citationer (Scopus)

  160 Downloads (Pure)

• On formalism and stability of switched systems

  Leth, J.-J. & Wisniewski, R., 2012, I: Journal of Control Theory and Applications. 10, 2, s. 176-183

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Stability of Switched Systems 100%
  • Piecewise Linear 100%
  • Linear Switched Systems 66%
  • Lyapunov Stability Theorem 66%
  • State-dependent Switching 33%
  21 Citationer (Scopus)

  558 Downloads (Pure)

• Passive Fault-tolerant Control of Discrete-time Piecewise Affine Systems against Actuator Faults

  Tabatabaeipour, S. M., Izadi-Zamanabadi, R., Bak, T. & Ravn, A. P., nov. 2012, I: International Journal of Systems Science. 43, 11, s. 1985-1997 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Fault Tolerant Control 100%
  • Discrete Time 100%
  • Numerical Example 50%
  • Two Degree of Freedom 50%
  • Cost Performance 50%
  32 Citationer (Scopus)

• Profit Maximization of a Power Plant

  Kragelund, M. N., Leth, J.-J., Wisniewski, R. & Jönsson, U., 2012, I: European Journal of Control. 18, 1, s. 38-54

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  1072 Downloads (Pure)

• Robust Hinf control of uncertain switched systems defined on polyhedral sets with Filippov solutions

  Ahmadi , M., Mojallali, H. & Wisniewski, R., 2012, I: ISA Transactions. 51, 6, s. 722–731 10 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil
  8 Citationer (Scopus)

  855 Downloads (Pure)

• State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter

  Ahmadi, M., Mojallali, H. & Izadi-Zamanabadi, R., 2012, I: Swarm and Evolutionary Computation. 4, s. 44-53 11 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Invasive Weed Optimization 100%
  • Nonlinear Stochastic Systems 100%
  • Sludge Treatment 100%
  • Stochastic System 100%
  • Sampling Step 66%
  19 Citationer (Scopus)
• 2011

  Abstraction of Dynamical Systems by Timed Automata

  Wisniewski, R. & Sloth, C., 2011, I: Modeling, Identification and Control (Online Edition). 32, 2, s. 79-90 12 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • Equivalence Class 100%
  • Differential Equations Set 50%
  • Finite State Model 50%
  6 Citationer (Scopus)

  398 Downloads (Pure)

• Generalized Gramian Framework for Model/Controller Order Reduction of Switched Systems

  Shaker, H. R. & Wisniewski, R., aug. 2011, I: International Journal of Systems Science. s. 1277–1291 15 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Controller Order Reduction 100%
  • Switched Systems 100%
  • Gramian 100%
  • Model-based Controller 100%
  • Reduction Method 100%
  27 Citationer (Scopus)

• Global practical stabilization of large-scale hydraulic networks

  Jensen, T. N. & Wisniewski, R., 2011, I: IET Control Theory & Applications. s. 1335 - 1342

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  9 Citationer (Scopus)

  361 Downloads (Pure)

• Inexpensive CubeSat Attitude Estimation Using Quaternions and Unscented Kalman Filtering

  Vinther, K., Fuglsang Jensen, K., Larsen, J. A. & Wisniewski, R., mar. 2011, I: Automatic Control in Aerospace. 4, 1, 12 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  2089 Downloads (Pure)

• Verification of Continuous Dynamical Systems by Timed Automata

  Sloth, C. & Wisniewski, R., aug. 2011, I: Formal Methods in System Design. 39, 1, s. 47–82 36 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Formal Verification 100%
  • High-dimensional Systems 100%
  • System Trajectory 100%
  • Verification Process 100%
  • Dimensional System 100%
  12 Citationer (Scopus)

  818 Downloads (Pure)