DETC2019-97950 Checking Application Level Properties Using Assertion Synthesis

DETC2019-97950 Checking Application Level Properties Using Assertion Synthesis

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (15. : 2019 : Anaheim, Calif.) Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - 2019 ; volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
1. Verfasser: Wenzl, Matthias (VerfasserIn)
Weitere Verfasser: Roessler, Peter (VerfasserIn), Puhm, Andreas (VerfasserIn)
Pages:2019
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
DETC2019-97046 Embedded RIOTS: Model Predictive Control Towards Edge 2020 Viola, Jairo
DETC2019-97902 Augmented Microscopy for DNA Damage Quantification: A Machine Learning Tool for Environmental, Medical and Health Sciences 2020 Bernardini, Michele
DETC2019-97901 Analysis of a Multibody Elastodynamic Model for Closed-Loop Kinematic Mechanisms 2020 Carbonari, Luca
DETC2019-97831 On External Disturbance Rejection of Linear ADRC 2020 Jin, Huiyu
DETC2019-97328 Analysis of Octree Coding for 3D Point Cloud Frame 2020 Li, Pei-Heng
DETC2019-97624 On the Unified Design of Accelerated Gradient Descent 2020 Chen, Yuquan
DETC2019-98178 Periodic-Doubling Bifurcation of a Circuit With a Fractional-Order Memristor 2020 Yu, Yajuan
DETC2019-98254 Online Identification of Uncertain Fractional-Order Nonlinear Systems Using a Reinforced Differential Evolution Optimizer 2020 Wei, Jiamin
DETC2019-98147 Study of Industry 4.0 and its Impact on Lean Transformation in Aerospace Manufacturing 2020 James, Sagil
DETC2019-98457 Overview of Remote Sensing Efforts at University of Maryland Eastern Shore 2020 Nagchaudhuri, Abhijit
DETC2019-97712 MPC-Based Control of Autonomous Vehicles With Localized Path Planning for Obstacle Avoidance Under Uncertainties 2020 Devaragudi, Sai Rajeev
DETC2019-97958 On-Line Programming of Robot Skills 2020 Heikkilä, Tapio
DETC2019-97974 Indoor Testbed for Vector Field Multirobot Adaptive Navigation: Feasibility Study 2020 Rajabhandharaks, Danop
DETC2019-97665 A Modular Approach to Level Curve Tracking With Two Nonholonomic Mobile Robots 2020 Chatterjee, Sarthak
DETC2019-98352 Frequency Response Analysis of Macro-Micro Stages With Active Disturbance Reject Controller 2020 Zeng, Danping
DETC2019-97652 Fractional-Order Extreme Learning Machine With Mittag-Leffler Distribution 2020 Niu, Haoyu
DETC2019-97489 Model Predictive Control of General Fractional Order Systems Using a General Purpose Optimal Control Problem Solver: RIOTS 2020 Dehghan, Sina
DETC2019-97709 Improving Cuckoo Search Algorithm With Mittag-Leffler Distribution 2020 Wei, Jiamin
DETC2019-98342 Satisfactory Optimization Design for Fractional Order PID Controller 2020 Liu, Tianyu
DETC2019-97011 Deep Learning Automatic Inspections of Mushroom Substrate Packaging for PP-Bag Cultivations 2020 Jou, Rong-Yuan
Alle Artikel auflisten