Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hyun-Sek Lukas Lee
Automated Generation of Hybrid System Models for Reachability Analysis of Nonlinear Analog Circuits
Related publications
Symbolic Analysis of Large Analog Integrated Circuits: The Numerical Reference Generation Problem
IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing
Analysis of a Hybrid System for Decentralized Power Generation
Journal of Clean Energy Technologies
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis Method of Digital-To-Analog Converter Schematic Models for Integrated Circuits
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
An Identification Procedure of Multi-Input Wiener Models for the Distortion Analysis of Nonlinear Circuits
Advances in Radio Science
Forensic Analysis of Autonomous System Reachability
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
