Journal Article RDF
pages:- 632
- 633
- 634
- 635
- 636
- 637
- 638
- 639
- 640
- 641
- 642
- 643
- 644
- 645
- 646
- 647
- 648
- 649
- 650
- 651
- 652
- 653
- 654
- 655
- 656
- 657
- 658
- 659
- 660
- 661
- 662
- 663
- 664
- 665
- 666
- 667
- 668
- 669
- 670
- 671
- 672
- more...
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Compositional construction of control barrier certificates for large-scale stochastic switched systems
- Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
- Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems
- Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
- Compositional Control of Phase-Separated Cellular Bodies
- Compositional controls on hydrogen generation during serpentinization of ultramafic rocks
- Compositional diversity of the Europa-Ganymede plasma environment
- Compositional effects on solidification of congruently melting InSb
- Compositional Engineering for Efficient Wide Band Gap Perovskites with Improved Stability to Photoinduced Phase Segregation
- Compositional heterogeneity in CsyFA1-yPb(BrxI1-x)3 perovskite films and its impact on phase behavior
- Compositional Indicators for a Dynamical Barrier within Saturn’s E-ring
- Compositional Mapping of Europa’s Surface with SUDA
- Compositional mapping of planetary moons by mass spectrometry of dust ejecta
- Compositional Model Checking of Concurrent Systems
- Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems
- Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
- Compositional Relational Abstraction for Nonlinear Hybrid Systems
- Compositional SCC analysis for language emptiness
- Compositional shifts of alpine plant communities across the high Andes
- Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications
- Compositional synthesis of finite abstractions for networks of systems: A small-gain approach
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- Compositional Synthesis of Symbolic Models for Networks of Switched Systems
- Compositional texture engineering for highly stable wide-bandgap perovskite solar cells
- Compositional trends in aeolian dust along a transect across the southwestern United States
- Compositional Verification for Large-Scale Systems via Closure Certificates