219 results on '"Weiming Xiang"'
Search Results
2. Railway Track Online Detection Based on Optical Fiber Distributed Large-Range Acoustic Sensing.
3. Directional Sound-Capture System With Acoustic Array Based on FPGA.
4. Discretized Lyapunov Function Approach for Switched Linear Systems under Dwell Time Constraint
5. A New Hybrid Automaton Framework with Partial Differential Equation Dynamics.
6. A Transition System Abstraction Framework for Neural Network Dynamical System Models.
7. Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation.
8. A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems.
9. Guaranteed Quantization Error Computation for Neural Network Model Compression.
10. Maximum output discrepancy computation for convolutional neural network compression.
11. MSVF: Multi-task Structure Variation Filter with Transfer Learning in High-throughput Sequencing.
12. Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression.
13. Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
14. Energy Efficient Robust Beamforming for Vehicular ISAC with Imperfect Channel Estimation.
15. Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction.
16. Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.
17. Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.
18. Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems.
19. Guaranteed approximation error estimation of neural networks and model modification.
20. Real-Time Verification for Distributed Cyber-Physical Systems.
21. Design of interval observer for continuous linear large-scale systems with disturbance attenuation.
22. A Knowledge-aware Machine Reading Comprehension Framework for Dialogue Symptom Diagnosis.
23. H-VAE: A Hybrid Variational AutoEncoder with Data Augmentation in Predicting CRISPR/Cas9 Off-target.
24. Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine.
25. Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method.
26. Modeling Dynamical Systems with Neural Hybrid System Framework via Maximum Entropy Approach.
27. NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
28. Verification of Deep Convolutional Neural Networks Using ImageStars.
29. Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
30. New Stability Conditions for Switched Linear Systems: A Reverse-Timer-Dependent Multiple Discontinuous Lyapunov Function Approach.
31. Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
32. Computationally efficient neural hybrid automaton framework for learning complex dynamics.
33. Activation of peroxymonosulfate (PMS) by rGO supported Co3O4 catalyst for iohexol degradation.
34. Parallelizable reachability analysis algorithms for feed-forward neural networks.
35. Star-Based Reachability Analysis of Deep Neural Networks.
36. Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
37. Reachability Analysis for High-Index Linear Differential Algebraic Equations.
38. Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
39. Reachability Analysis for One Dimensional Linear Parabolic Equations.
40. Interval observer design of dynamical systems with neural networks.
41. Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.
42. Necessary and sufficient conditions to stability of discrete-time delay systems.
43. A Data-Driven Modeling Framework of Time-Dependent Switched Dynamical Systems via Extreme Learning Machine.
44. Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems.
45. Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time.
46. On reachable set estimation for discrete-time switched linear systems under arbitrary switching.
47. Distributed Autonomous Systems.
48. Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
49. Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
50. Parameter-memorized Lyapunov functions for discrete-time systems with time-varying parametric uncertainties.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.