Reachability Analysis of Nonlinear Differential-Algebraic Systems von Althoff, Matthias, Krogh, Bruce H.

Volltext

Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings von Lynch, Nancy, Krogh, Bruce H

Volltext

A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency von Parolini, Luca, Sinopoli, Bruno, Krogh, Bruce H., Wang, Zhikui

Volltext

Supporting Heterogeneity in Cyber-Physical Systems Architectures von Rajhans, Akshay, Bhave, Ajinkya, Ruchkin, Ivan, Krogh, Bruce H., Garlan, David, Platzer, Andre, Schmerl, Bradley

Volltext

Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks von Romagnoli, Raffaele, Krogh, Bruce H., de Niz, Dionisio, Hristozov, Anton D., Sinopoli, Bruno

Volltext

Wind Integration in Power Systems: Operational Challenges and Possible Solutions von Xie, Le, Carvalho, Pedro M. S., Ferreira, Luis A. F. M., Liu, Juhua, Krogh, Bruce H., Popli, Nipun, Ilic, Marija D.

Volltext

Computational techniques for hybrid system verification von Chutinan, A., Krogh, B.H.

Volltext

Runtime System Support for CPS Software Rejuvenation von Romagnoli, Raffaele, Krogh, Bruce H., Niz, Dionisio de, Hristozov, Anton D., Sinopoli, Bruno

Volltext

Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes von Han, Zhi, Krogh, Bruce H.

Volltext

Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems von Griffioen, Paul, Krogh, Bruce H., Sinopoli, Bruno

Volltext

A tool for assessing demand side management and operating strategies for isolated microgrids von Thornburg, Jesse, Krogh, Bruce H.

Volltext

Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process von Balaji, S, Ilic, Jovan, Ydstie, B. Erik, Krogh, Bruce H

Volltext

Formal verification of statecharts using finite-state model checkers von Qianchuan Zhao, Krogh, B.H.

Volltext

Markov decision Processes with fractional costs von Zhiyuan Ren, Krogh, B.H.

Volltext

Verification of a cruise control system using counterexample-guided search von Stursberg, Olaf, Fehnker, Ansgar, Han, Zhi, Krogh, Bruce H

Volltext

On Zone-Based Analysis of Duration Probabilistic Automata von Maler, Oded, Larsen, Kim G., Krogh, Bruce H.

Volltext

Synthesis of supervisory controllers for hybrid systems based on approximating automata von Cury, J.E.R., Krogh, B.H., Niinomi, T.

Volltext

Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study von Fehnker, Ansgar, Krogh, Bruce H.

Volltext

Ellipsoidal Techniques for Reachability Analysis von Kurzhanski, Alexander B., Varaiya, Pravin

Volltext

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems von Asarin, Eugene, Bournez, Olivier, Dang, Thao, Maler, Oded

Volltext