| Publication | Date of Publication | Type |
|---|
Reach-avoid verification based on convex optimization
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Disturbance estimation of a wave PDE on a time-varying domain
| 2024-07-05 | Paper |
Regulation-triggered adaptive control of a hyperbolic PDE-ODE model with boundary interconnections
International Journal of Adaptive Control and Signal Processing | 2024-04-30 | Paper |
Verifying numerical programs via iterative abstract testing
| 2024-04-19 | Paper |
Event-Triggered Adaptive Control of a Parabolic PDE–ODE Cascade With Piecewise-Constant Inputs and Identification
IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
Event-Triggered Adaptive Control of Coupled Hyperbolic PDEs With Piecewise-Constant Inputs and Identification
IEEE Transactions on Automatic Control | 2023-09-28 | Paper |
Safe Adaptive Control of Hyperbolic PDE-ODE Cascades
| 2023-09-11 | Paper |
Adaptive Control of Hyperbolic PDEs Coupled With a Disturbed and Highly Uncertain ODE
IEEE Transactions on Automatic Control | 2023-09-04 | Paper |
Trace Abstraction-Based Verification for Uninterpreted Programs
| 2023-04-21 | Paper |
Cable-operated elevators and deep-sea construction: \(4\times 4\) hyperbolic PDE-ODE control with moving boundary
Advances in Distributed Parameter Systems | 2022-11-29 | Paper |
Symbolic verification of MPI programs with non-deterministic synchronizations
| 2022-09-01 | Paper |
PDE control of string-actuated motion
| 2022-08-24 | Paper |
Delay-compensated event-triggered boundary control of hyperbolic PDEs for deep-sea construction
Automatica | 2022-04-08 | Paper |
Event-Triggered Output-Feedback Backstepping Control of Sandwich Hyperbolic PDE Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Adaptive event-triggered PDE control for load-moving cable systems
Automatica | 2021-11-18 | Paper |
A splitting method for the Degasperis-Procesi equation using an optimized WENO scheme and the Fourier pseudospectral method
Advances in Applied Mathematics and Mechanics | 2021-10-11 | Paper |
Output-Feedback Control of an Extended Class of Sandwiched Hyperbolic PDE-ODE Systems
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Delay-compensated control of sandwiched ODE-PDE-ODE hyperbolic systems for oil drilling and disaster relief
Automatica | 2020-10-01 | Paper |
Output feedback vibration control of a string driven by a nonlinear actuator
Applied Mathematical Modelling | 2020-04-07 | Paper |
Output Feedback Boundary Control of a Heat PDE Sandwiched Between Two ODEs
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
A High Order Operator Splitting Method for the Degasperis–Procesi Equation
Numerical Mathematics: Theory, Methods and Applications | 2020-01-22 | Paper |
Adaptive output-feedback control of torsional vibration in off-shore rotary oil drilling systems
Automatica | 2020-01-20 | Paper |
Counterexample-preserving reduction for symbolic model checking
Journal of Applied Mathematics | 2019-11-19 | Paper |
Vibration Suppression for Coupled Wave PDEs in Deep-Sea Construction
| 2019-11-19 | Paper |
Overview of formal methods
| 2019-09-20 | Paper |
Balancing and suppression of oscillations of tension and cage in dual-cable mining elevators
Automatica | 2019-02-05 | Paper |
Accurate Vessel Segmentation With Constrained B-Snake
IEEE Transactions on Image Processing | 2019-01-31 | Paper |
Exponential regulation of the anti-collocatedly disturbed cage in a wave PDE-modeled ascending cable elevator
Automatica | 2018-11-21 | Paper |
Control of a \(2\times 2\) coupled linear hyperbolic system sandwiched between 2 ODEs
International Journal of Robust and Nonlinear Control | 2018-09-21 | Paper |
The height of an \(n\)th-order fundamental rogue wave for the nonlinear Schrödinger equation
Physics Letters. A | 2017-11-23 | Paper |
FESTAL: Fault-Tolerant Elastic Scheduling Algorithm for Real-Time Tasks in Virtualized Clouds
IEEE Transactions on Computers | 2017-05-16 | Paper |
Block-wise abstract interpretation by combining abstract domains with SMT
Lecture Notes in Computer Science | 2017-02-21 | Paper |
scientific article; zbMATH DE number 6672187 (Why is no real title available?)
| 2017-01-06 | Paper |
An abstract domain to infer symbolic ranges over nonnegative parameters
| 2016-05-10 | Paper |
Counterexample-preserving reduction for symbolic model checking
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Bounded model checking of ETL cooperating with finite and looping automata connectives
Journal of Applied Mathematics | 2013-09-09 | Paper |
An improved fast algorithm to calculate the correlation dimension of a time series
| 2013-06-20 | Paper |
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science | 2012-10-11 | Paper |
A shortest path approximation algorithm for complex network analysis
Journal of Software | 2012-10-05 | Paper |
Linear absolute value relation analysis
Programming Languages and Systems | 2011-05-19 | Paper |
A tighter analysis of Piterman's Büchi determinization
Information Processing Letters | 2010-08-20 | Paper |
Existence of a nontrivial weak solution to quasilinear elliptic equations with singular weights and multiple critical exponents
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2010-03-29 | Paper |
An abstract domain to discover interval linear equalities
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Static Analysis | 2009-08-18 | Paper |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Representing Wholes by Structure
Conceptual Structures: Inspiration and Application | 2007-09-06 | Paper |
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming | 2007-03-08 | Paper |
An interface model for service-oriented software architecture
| 2006-10-04 | Paper |
A variation of RRQR decomposition based on Gershgorin disk theorem
| 2006-08-23 | Paper |
Trace acquirement technology of real-time systems based on WCET analysis
| 2006-06-19 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
scientific article; zbMATH DE number 2220126 (Why is no real title available?)
| 2005-10-28 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
Improved method to generate path-wise test data
Journal of Computer Science and Technology | 2004-05-18 | Paper |
scientific article; zbMATH DE number 1919419 (Why is no real title available?)
| 2003-10-05 | Paper |
scientific article; zbMATH DE number 1893590 (Why is no real title available?)
| 2003-07-27 | Paper |
scientific article; zbMATH DE number 1949623 (Why is no real title available?)
| 2003-07-15 | Paper |
scientific article; zbMATH DE number 1444738 (Why is no real title available?)
| 2001-01-29 | Paper |
The designing approach of difference schemes by controlling the remainder-effect
| 2000-12-13 | Paper |
Verifying automata specification of distributed probabilistic real-time systems
Journal of Computer Science and Technology | 1999-03-02 | Paper |
scientific article; zbMATH DE number 943433 (Why is no real title available?)
| 1997-04-09 | Paper |
scientific article; zbMATH DE number 205759 (Why is no real title available?)
| 1994-11-14 | Paper |
