A5087671521- Advanced Control Systems Optimization
- Fault Detection and Control Systems
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Remote Sensing and Land Use
- Radar Systems and Signal Processing
- Advanced SAR Imaging Techniques
- Image Processing and 3D Reconstruction
- Forest, Soil, and Plant Ecology in China
- Hydrocarbon exploration and reservoir analysis
- Microwave Imaging and Scattering Analysis
- Land Use and Management
- Software Reliability and Analysis Research
- Soil and Environmental Studies
- Advanced Data Processing Techniques
- Machine Learning and Algorithms
- Remote Sensing in Agriculture
- Environmental Changes in China
- Probabilistic and Robust Engineering Design
- Environmental and Agricultural Sciences
- Evaluation Methods in Various Fields
- Simulation Techniques and Applications
- Water Resources and Management
- Control Systems and Identification
Delft University of Technology
2023-2024
King Abdullah University of Science and Technology
2022
We introduce a novel approach for the construction of symbolic abstractions -simpler, finite-state models -which mimic behaviour system interest, and are commonly utilized to verify complex logic specifications. Such require an exhaustive knowledge concrete model, which can be difficult obtain in real-world applications. To overcome this, we propose sample finite length trajectories unknown build abstraction based on concept ℓ-completeness. this end, notion probabilistic behavioural...
At the intersection of dynamical systems, control theory, and formal methods lies construction symbolic abstractions: these typically represent simpler, finite-state models whose behaviour mimics one an underlying concrete system but are easier to analyse. Building abstraction usually requires accurate knowledge model: this may be costly gather, especially in real-life applications. We aim bridge gap by building abstractions based on sampling finite length trajectories. Adding controller...
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics one interest. Typically, abstractions are constructed exploiting an accurate knowledge underlying model: in real-life applications, this may be a costly assumption. By sampling random $\ell$-step trajectories unknown system, we build abstraction based on notion $\ell$-completeness. We newly define probabilistic...
The abstraction of dynamical systems is a powerful tool that enables the design feedback controllers using correct-by-design framework. We investigate novel scheme to obtain data-driven abstractions discrete-time stochastic processes in terms richer discrete models, whose actions lead nondeterministic transitions over space probability measures. component proposed methodology lies fact we only assume samples from an unknown distribution. also rely on model underlying dynamics build our...
This study shows an approach for classifying road users using a 24-GHz millimeter-wave radar. The sensor transmits multiple linear frequency–modulated waves, which enable range estimation and Doppler-shift of targets in the scene. We aimed to develop solution localization classification, yielded same performance when was fixed on ground or mounted moving platform such as car quadcopter. In this proposed approach, classification achieved supervised learning set hand crafted features...