Search results for "non-Zeno"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
163	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
121	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Deriving Non-zeno Behavior Models from Goal Models Using ILP.	FASE	2008	DBLP DOI BibTeX RDF
63	Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry 0001	Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.	HSCC	2000	DBLP DOI BibTeX RDF
52	Farn Wang, Geng-Dian Huang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
33	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP (2)	2009	DBLP DOI BibTeX RDF
33	Farn Wang, Geng-Dian Hwang, Fang Yu 0001	TCTL Inevitability Analysis of Dense-Time Systems.	CIAA	2003	DBLP DOI BibTeX RDF	Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL
32	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
25	Arman Sharifi Kolarijani, Peyman Mohajerin Esfahani, Tamás Keviczky	A Hybrid Control Framework for Fast Methods Under Invexity: Non-Zeno Trajectories with Exponential Rate.	CDC	2018	DBLP DOI BibTeX RDF
25	Ryo Yanase	Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata.	ICST	2017	DBLP DOI BibTeX RDF
25	Krishnendu Chatterjee, Vinayak S. Prabhu	Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
25	Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel	Deriving non-Zeno behaviour models from goal models using ILP.	Formal Aspects Comput.	2010	DBLP DOI BibTeX RDF
17	Farn Wang	Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.	HSCC	2009	DBLP DOI BibTeX RDF	algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation
17	Eugene Asarin, Aldric Degorre	Volume and Entropy of Regular Timed Languages: Discretization Approach.	CONCUR	2009	DBLP DOI BibTeX RDF
17	Marcin Jurdzinski, Ashutosh Trivedi 0001	Reachability-Time Games on Timed Automata.	ICALP	2007	DBLP DOI BibTeX RDF
17	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
17	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Fairness of Actions in System Computations.	Acta Informatica	2006	DBLP DOI BibTeX RDF
17	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
17	Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli	Optimal Control Using Bisimulations: Implementation.	HSCC	2001	DBLP DOI BibTeX RDF