Specifying real-time properties with metric temporal logic
Real-Time Systems
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science - Special issue on hybrid systems
The benefits of relaxing punctuality
Journal of the ACM (JACM)
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Reachability Analysis via Face Lifting
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Orthogonal Polyhedra: Representation and Computation
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Using Abstractions for the Verification of Linear Hybrid Systems
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Robustness analysis and tuning of synthetic gene networks
Bioinformatics
Qualitative simulation of genetic regulatory networks: method and application
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Computing Reachable States for Nonlinear Biological Models
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Composing reachability analyses of hybrid systems for safety and stability
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Computing reachable states for nonlinear biological models
Theoretical Computer Science
Verification of continuous dynamical systems by timed automata
Formal Methods in System Design
Lyapunov abstractions for inevitability of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
On the verification of hybrid DEVS models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Dynamically-Driven timed automaton abstractions for proving liveness of continuous systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
On approximative reachability analysis of biochemical dynamical systems
Transactions on Computational Systems Biology XIV
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid systems modeling and verification with DEVS (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed automata. This technique refines commonly-used discrete abstractions which are often too coarse to be useful. The essence of our technique is the partition of the state space into cubes and the allocation of a clock for each dimension. This allows us to get much better approximations of the behavior. We specialize this technique to multi-affine systems, a class of nonlinear systems of primary importance for the analysis of biochemical systems and demonstrate its applicability on an example taken from synthetic biology.