Signal-to-symbol transformation and vice versa: from fundamental processes to representation
ACM Computing Surveys (CSUR)
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems
Discrete Event Dynamic Systems
Reduction of Timed Hybrid Systems
Discrete Event Dynamic Systems
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Journal of Intelligent and Robotic Systems
Journal of Dynamical and Control Systems
Toward an Approximation Theory for Computerised Control
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Logical Approach to Specification of Hybrid Systems
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Generalised Computability and Applications to Hybrid Systems
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Sliding Mode Model Semantics and Simulation for Hybrid Systems
Hybrid Systems V
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
Phase-Space Nonlinear Control Toolbox: The Maglev Experience
Hybrid Systems V
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems
Hybrid Systems V
Hybrid Modeling of TCP Congestion Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Process modelling for hybrid control
Systems Analysis Modelling Simulation
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Economy of description for basic constructions on rational transductions
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the fourth international workshop on descriptional complexity of formal systems
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
A Synthesis Algorithm for Hybrid Systems
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Estimation of distributed hybrid systems Using particle filtering methods
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Semantics and Computability of the Evolution of Hybrid Systems
SIAM Journal on Control and Optimization
A logic-based approach to model supervisory control systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Approximation, sampling and voting in hybrid computing systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
ΣK-constraints for hybrid systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Brief Cyclic linear differential automata: a simple class of hybrid dynamical systems
Automatica (Journal of IFAC)
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Hybrid control in automotive applications: the cut-off control
Automatica (Journal of IFAC)
Switching controller design via convex polyhedral Lyapunov functions
Automatica (Journal of IFAC)
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
A theory of robust omega-regular software synthesis
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.01 |