Bruce H. Krogh

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Matthias Althoff

> Home > Persons > Bruce H. Krogh

Publications

2014
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AlthoffK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AlthoffK14
Matthias Althoff, Bruce H. Krogh:
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59(2): 371-383 (2014)
2013
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AlthoffRKYLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AlthoffRKYLP13
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56(10): 97-104 (2013)
2012
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlthoffK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlthoffK12
Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54
2011
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AlthoffK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AlthoffK11
Matthias Althoff, Bruce H. Krogh:
Zonotope bundles for the efficient computation of reachable sets. CDC/ECC 2011: 6814-6821
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlthoffGK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlthoffGK11
Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/AlthoffYRLKP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/AlthoffYRLKP11
Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD 2011: 659-666

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.