Article | CU Experts | CU Boulder

Article RDF

pages:

Symbolic Abstractions of Networked Control Systems Journal Article
Symbolic codes for rotational orbits Journal Article
Symbolic computation of logic implications for technology-dependent low-power synthesis Conference Proceeding
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions Journal Article
Symbolic Deadlock Analysis in Concurrent Libraries and their Clients Conference Proceeding
Symbolic guided search for CTL model checking Conference Proceeding
Symbolic model checking of Analog/Mixed-Signal circuits Conference Proceeding
Symbolic model checking of hybrid systems using template polyhedra Conference Proceeding
Symbolic Models for a Class of Impulsive Systems Journal Article
Symbolic models for infinite networks of control systems: A compositional approach Journal Article
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions Journal Article
Symbolic models for retarded jump-diffusion systems Journal Article
Symbolic models for stochastic control systems without stability assumptions Conference Proceeding
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach Journal Article
Symbolic models for unstable nonlinear control systems Conference Proceeding
Symbolic Models of Networked Control Systems: A Feedback Refinement Relation Approach Conference Proceeding
Symbolic modular deadlock analysis Journal Article
Symbolic State Exploration Journal Article
Symbolic Synthesis with Average Performance Guarantees Conference Proceeding
Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths Journal Article
Symbolic transfer entropy reveals the age structure of pandemic influenza transmission from high-volume influenza-like illness data Journal Article
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software Conference Proceeding
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software Conference Proceeding
Symbols, Stories, and Practices: New Empirical Directions in the Study of Religious Meaning Journal Article
Symmetric formulations for finite element vibration analysis of acoustoelastic fluid structure interaction Conference Proceeding
Symmetric fractal trees in three dimensions Journal Article
Symmetric functions and exact Lyapunov exponents Journal Article
Symmetric liquid crystal dimers containing hydrazide groups: parity-dependent smectic structure, hydrogen bonding and substitution effect Journal Article
Symmetric Mass Generation with Four SU(2) Doublet Fermions Journal Article
Symmetric stereographic orientation parameters applied to constrained spacecraft attitude control Journal Article

pages: