HyTech swMATH ID: 4125 Software Authors: Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. Description: HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails, then HyTech generates a diagnostic error trace. The standard reference to the HyTech algorithm is [1], and the standard reference to the HyTech tool, [2]. Homepage: http://embedded.eecs.berkeley.edu/research/hytech/ Operating Systems: Sun OS 5.8, Solaris 2.3.x, Digital Unix, DEC Ultrix, HP-UX, and Windows 2000 (Cygwin), Linux Keywords: The HYbrid TECHnology Tool Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; PPL; RSOLVER; HSolver; KeYmaera; PRISM; NuSMV; HySAT; Flow*; Benchmarks; QEPCAD; PVS; Uppaal2k; TREX; Maude Cited in: 315 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year HyTech: A model checker for hybrid systems. Zbl 1060.68603Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 1997 all top 5 Cited by 530 Authors 13 Larsen, Kim Guldstrand 12 Dang, Thao 11 Bouyer, Patricia 10 Podelski, Andreas 9 Delzanno, Giorgio 8 Asarin, Eugene 8 Cassez, Franck 8 Platzer, André 8 Raskin, Jean-François 7 Li, Xuandong 7 Maler, Oded 7 Zaffanella, Enea 6 Henzinger, Thomas A. 6 Meseguer Guaita, José 6 Olveczky, Peter Csaba 6 Piazza, Carla 6 Zhao, Jianhua 5 André, Étienne 5 Bemporad, Alberto 5 Damm, Werner 5 Fleury, Emmanuel 5 Fribourg, Laurent 5 Krogh, Bruce H. 5 Sankaranarayanan, Sriram 5 Yi, Wang 5 Zheng, Guoliang 4 Bagnara, Roberto 4 Bresolin, Davide 4 Bultan, Tevfik 4 Clarke, Edmund Melson jun. 4 Collins, Peter J. 4 Disch, Stefan 4 Frehse, Goran 4 Geretti, Luca 4 Girard, Antoine 4 Hill, Patricia M. 4 Laroussinie, François 4 Lime, Didier 4 Pigorsch, Florian 4 Rooda, Jacobus E. 4 Roux, Olivier H. 4 Schneider, Gerardo 4 Scholl, Christoph 4 Vaandrager, Frits W. 4 van Beek, D. A. 4 Villa, Tiziano 4 Voronkov, Andrei 4 Zheng, Tao 3 Aceto, Luca 3 Althoff, Matthias 3 Alur, Rajeev 3 Bartocci, Ezio 3 Bartzis, Constantinos 3 Bogomolov, Sergiy 3 Bortolussi, Luca 3 Boucheneb, Hanifa 3 Chatain, Thomas 3 Dang, Zhe 3 Di Cairano, Stefano 3 Dreossi, Tommaso 3 Dufourd, Catherine 3 Duggirala, Parasara Sridhar 3 Halbwachs, Nicolas 3 Ivančić, Franjo 3 Julius, A. Agung 3 Júlvez, Jorge 3 Klay, Francis 3 Le Guernic, Colas 3 Majumdar, Rupak 3 Manna, Zohar 3 Mitra, Sayan 3 Pappas, George J. 3 Petit, Antoine C. 3 Pettersson, Paul 3 Policriti, Alberto 3 Quaas, Karin 3 Reniers, Michel Adriaan 3 Revesz, Peter Z. 3 Rybina, Tatiana 3 Schiffelers, R. R. H. 3 Sipma, Henny B. 3 Stoelinga, Mariëlle 3 Waldmann, Uwe 3 Wirtz, Boris 3 Wong-Toi, Howard 2 Abate, Alessandro 2 Alla, Hassane 2 Antoniotti, Marco 2 Azgomi, Mohammad Abdollahi 2 Bak, Stanley 2 Batt, Grégory 2 Behrmann, Gerd 2 Benvenuti, Luca 2 Bérard, Béatrice 2 Bergstra, Jan A. 2 Bhatia, Amit 2 Braun, Volker 2 Bu, Lei 2 Burgueño, Augusto 2 Campagna, Dario ...and 430 more Authors all top 5 Cited in 39 Serials 27 Theoretical Computer Science 19 Formal Methods in System Design 11 Formal Aspects of Computing 7 7 The Journal of Logic and Algebraic Programming 6 Information and Computation 6 Discrete Event Dynamic Systems 4 Automatica 4 Real-Time Systems 4 Nonlinear Analysis. Hybrid Systems 3 Fundamenta Informaticae 3 Logical Methods in Computer Science 2 International Journal of Control 2 Journal of Automated Reasoning 2 International Journal of Foundations of Computer Science 2 European Journal of Control 2 Computer Science Review 2 Journal of Logical and Algebraic Methods in Programming 2 Texts in Computer Science 1 Acta Informatica 1 Information Processing Letters 1 IEEE Transactions on Automatic Control 1 Journal of Computer and System Sciences 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Science of Computer Programming 1 Journal of Computer Science and Technology 1 International Journal of Robust and Nonlinear Control 1 Cybernetics and Systems Analysis 1 1 Nordic Journal of Computing 1 The Journal of Artificial Intelligence Research (JAIR) 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 Higher-Order and Symbolic Computation 1 Journal of Universal Computer Science 1 Theory and Practice of Logic Programming 1 1 Synthesis Lectures on Computer Science 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Cited in 18 Fields 269 Computer science (68-XX) 89 Systems theory; control (93-XX) 20 Mathematical logic and foundations (03-XX) 14 Biology and other natural sciences (92-XX) 13 Operations research, mathematical programming (90-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Ordinary differential equations (34-XX) 6 Convex and discrete geometry (52-XX) 5 Information and communication theory, circuits (94-XX) 4 Dynamical systems and ergodic theory (37-XX) 2 Combinatorics (05-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Probability theory and stochastic processes (60-XX) 1 Commutative algebra (13-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year