Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
A theory of complexity for continuous time systems
Journal of Complexity
The Stability of Saturated Linear Dynamical Systems Is Undecidable
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
Hybrid Systems V
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Robust Undecidability of Timed and Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
On Hybrid Control of Under-Actuated Mechanical Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Continuity and computability of reachable sets
Theoretical Computer Science
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Constructing non-computable Julia sets
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
Electronic Notes in Theoretical Computer Science (ENTCS)
Faster projection based methods for circuit level verification
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Reachability analysis of generalized polygonal hybrid systems
Proceedings of the 2008 ACM symposium on Applied computing
Discrete Event Dynamic Systems
A Decidable Class of Planar Linear Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reachability in Linear Dynamical Systems
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Updatable Timed Automata with Additive and Diagonal Constraints
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Computing Omega-Limit Sets in Linear Dynamical Systems
UC '08 Proceedings of the 7th international conference on Unconventional Computing
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Combining control and data abstraction in the verification of hybrid systems
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Span-reachability and observability of bilinear hybrid systems
Automatica (Journal of IFAC)
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Coupling from the past in hybrid models for file sharing peer to peer systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Combining control and data abstraction in the verification of hybrid systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
Robust computations with dynamical systems
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Software and Systems Modeling (SoSyM)
Semantics and Computability of the Evolution of Hybrid Systems
SIAM Journal on Control and Optimization
Noise vs computational intractability in dynamics
Proceedings of the 3rd Innovations in Theoretical Computer Science Conference
Efficient computation of reachable sets of linear time-invariant systems with inputs
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Turing universality in dynamical systems
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Computation in one-dimensional piecewise maps and planar pseudo-billiard systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
On the computational power of timed differentiable petri nets
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
Refining the undecidability frontier of hybrid automata
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
The discrete time behavior of lazy linear hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Brief Cyclic linear differential automata: a simple class of hybrid dynamical systems
Automatica (Journal of IFAC)
Survey A survey of computational complexity results in systems and control
Automatica (Journal of IFAC)
Complexity of stability and controllability of elementary hybrid systems
Automatica (Journal of IFAC)
Reachability in one-dimensional controlled polynomial dynamical systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Decidability and Universality in Symbolic Dynamical Systems
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Region-Based analysis of hybrid petri nets with a single general one-shot transition
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Computation with perturbed dynamical systems
Journal of Computer and System Sciences
On the decidability of stability of hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Abstraction based model-checking of stability of hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.01 |