Conference Proceeding RDF
pages:- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- more...
- Compositional abstraction of interconnected control systems under dynamic interconnection topology
- Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems
- Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems
- Compositional Abstractions of Interconnected Discrete-Time Switched Systems
- Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
- Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach
- Compositional Approximations of Interconnected Stochastic Hybrid Systems
- Compositional Construction of Abstractions for Infinite Networks of Switched Systems
- Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case
- Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case
- Compositional construction of approximate abstractions
- Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems
- Compositional Construction of Control Barrier Functions for Interconnected Control Systems
- Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach
- Compositional engineering of tin-lead halide perovskites for efficient and stable low band gap solar cells
- Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems
- Compositional Learning-based Planning for Vision POMDPs
- Compositional mapping of Saturn’s E-ring during Cassini’s flyby of Rhea
- Compositional Modeling and Analysis of Automotive Feature Product Lines
- Compositional synthesis of almost maximally permissible safety controllers
- Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates
- Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach
- Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions
- Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
- Compositional Synthesis of Symbolic Models for Infinite Networks
- Compositional Verification of Initial-State Opacity for Switched Systems
- Compositional verification of large-scale stochastic systems
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions
- Compound specific isotope analysis and the challenge for identifying life: The role of biosignatures and abiosignatures
- Comprehending Dynamics of the Ecuadorian River Discharge Series Using Wavelet Analysis and Bandpass Filters